Selection Equilibria of Higher-Order Games

  • Jules Hedges
  • Paulo OlivaEmail author
  • Evguenia Shprits
  • Viktor Winschel
  • Philipp Zahn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10137)


In applied game theory the modelling of each player’s intentions and motivations is a key aspect. In classical game theory these are encoded in the payoff functions. In previous work [2, 4] a novel way of modelling games was introduced where players and their goals are more naturally described by a special class of higher-order functions called quantifiers. We refer to these as higher-order games. Such games can be directly and naturally implemented in strongly typed functional programming languages such as Haskell [3]. In this paper we introduce a new solution concept for such higher-order games, which we call selection equilibrium. The original notion proposed in [4] is now called quantifier equilibrium. We show that for a special class of games these two notions coincide, but that in general, the notion of selection equilibrium seems to be the right notion to consider, as illustrated through variants of coordination games where agents are modelled via fixed-point operators. This paper is accompanied by a Haskell implementation of all the definitions and examples.


Nash Equilibrium Selection Function Strategy Profile Equilibrium Concept Selection Equilibrium 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Botta, N., Ionescu, C., Brady, E.: Sequential decision problems, dependently typed solutions. In: Proceedings of PLMMS 2013 (2013)Google Scholar
  2. 2.
    Escardó, M., Oliva, P.: Selection functions, bar recursion and backward induction. Math. Struct. Comput. Sci. 20(2), 127–168 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Escardó, M., Oliva, P.: What sequential games, the Tychonoff theorem and the double-negation shift have in common. In: Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming (MSFP 2010), pp. 21–32 (2010)Google Scholar
  4. 4.
    Escardó, M., Oliva, P.: Sequential games and optimal strategies. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 467(2130), 1519–1545 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Ghani, N., Hedges, J.: A compositional approach to economic game theory. arXiv:1603.04641 (2016)
  6. 6.
    Hedges, J.: A generalization of Nash’s theorem with higher-order functionals. Proc. R. Soc. Lond. A Math. Phys. Eng. Sci. 469(2154) (2013).
  7. 7.
    Hedges, J.: Monad transformers for backtracking search. In: Proceedings of the 5th Workshop on Mathematically Structured Functional Programming, pp. 31–50. Open Publishing Association (2014)Google Scholar
  8. 8.
    Hedges, J.: Towards compositional game theory. Ph.D. thesis, Queen Mary University of London (2016)Google Scholar
  9. 9.
    Hedges, J., Oliva, P., Sprits, E., Winschel, V., Zahn, P.: Higher-order decision theory. arXiv preprint cs.GT, arXiv:1506.01003 (2015)
  10. 10.
    Hedges, J., Sprits, E., Winschel, V., Zahn, P.: Compositionality and string diagrams for game theory. arXiv:1604.06061 (2015)
  11. 11.
    Keynes, J.M.: General Theory of Employment, Interest and Money. Macmillan, London (1936)Google Scholar
  12. 12.
    Mostowski, A.: On a generalization of quantifiers. Fundamenta Mathematicae 44, 12–36 (1957)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Osborne, M., Rubinstein, A.: Course in Game Theory. MIT Press, Cambridge (1994)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Jules Hedges
    • 1
  • Paulo Oliva
    • 2
    Email author
  • Evguenia Shprits
    • 3
  • Viktor Winschel
    • 4
  • Philipp Zahn
    • 5
  1. 1.Department of Computer ScienceUniversity of OxfordOxfordUK
  2. 2.Department of Electronic Engineering and Computer ScienceQueen Mary University of LondonLondonUK
  3. 3.Department of EconomicsUniversity of MannheimMannheimGermany
  4. 4.Department of Management, Technology and EconomicsETH ZürichZürichSwitzerland
  5. 5.Department of EconomicsUniversity of St. GallenSt. GallenSwitzerland

Personalised recommendations