@inproceedings(escardo98,
 author       = {Martin Escard\'o},
 year         = {1998},
 title        = {Effective and sequential definition by cases on the reals via infinite signed-digit numerals},
 booktitle    = {Proceedings of the 3rd workshop on Computation and Approximation},
 series       = {ENTCS},
 volume       = {13},
 doi          = {10.1016/S1571-0661(05)80214-2},
)
@article(escardo04,
 author       = {Martin Escard\'o},
 year         = {2004},
 title        = {Synthetic topology of data types and classical spaces},
 journal      = {ENTCS},
 volume       = {87},
 pages        = {21--156},
 doi          = {10.1016/j.entcs.2004.09.017},
)
@(escardo07,
 author       = {Martin Escard\'o},
 year         = {2007},
 title        = {Seemingly impossible functional programs},
 url          = {http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/},
)
@article(escardo08,
 author       = {Martin Escard\'o},
 year         = {2008},
 title        = {Exhaustible sets in higher-type computation},
 journal      = {Logical methods in computer science},
 volume       = {4},
 number       = {3:3},
 pages        = {1--37},
 doi          = {10.2168/lmcs-4(3:3)2008},
)
@article(escardo10a,
 author       = {Martin Escard\'o and Paulo Oliva},
 year         = {2010},
 title        = {Selection functions, bar recursion and backward induction},
 journal      = {Mathematical structures in computer science},
 volume       = {20},
 number       = {2},
 pages        = {127--168},
 doi          = {10.1017/S0960129509990351},
)
@inproceedings(escardo10d,
 author       = {Martin Escard\'o and Paulo Oliva},
 year         = {2010},
 title        = {What sequential games, the {T}ychonoff theorem and the double-negation shift have in common},
 booktitle    = {Proceedings of MSFP'10},
 doi          = {10.1145/1863597.1863605},
)
@article(escardo11,
 author       = {Martin Escard\'o and Paulo Oliva},
 year         = {2011},
 title        = {Sequential games and optimal strategies},
 journal      = {Proceedings of the Royal Society A},
 volume       = {467},
 pages        = {1519--1545},
 doi          = {10.1098/rspa.2010.0471},
)
@article(escardo12,
 author       = {Martin Escard\'o and Paulo Oliva},
 year         = {2012},
 title        = {Computing {N}ash equilibria of unbounded games},
 journal      = {Proceedings of the Turing centenary conference},
 url          = {http://www.easychair.org/publications/paper/106503},
)
@article(escardo15b,
 author       = {Martin Escard\'o and Paulo Oliva},
 year         = {2017},
 title        = {The {H}erbrand functional interpretation of the double negation shift},
 journal      = {Journal of symbolic logic},
 volume       = {82},
 number       = {2},
 pages        = {590--607},
 doi          = {10.1017/jsl.2017.8},
)
@inproceedings(hedges14,
 author       = {Jules Hedges},
 year         = {2014},
 title        = {Monad transformers for backtracking search},
 booktitle    = {Proceedings of MSFP'14},
 series       = {EPTCS},
 pages        = {31--50},
 doi          = {10.4204/EPTCS.153.3},
)
@unpublished(hedges15a,
 author       = {Jules Hedges},
 year         = {2015},
 title        = {The selection monad as a {CPS} translation},
 note         = {ArXiv:1503.06061},
)
@phdthesis(hedges_towards_compositional_game_theory,
 author       = {Jules Hedges},
 year         = {2016},
 title        = {Towards compositional game theory},
 school       = {Queen Mary University of London},
)
@inproceedings(hedges_etal_selection_equilibria_higher_order_games,
 author       = {Jules Hedges and Paulo Oliva and Evguenia Shprits and Viktor Winschel and Philipp Zahn},
 year         = {2017},
 title        = {Selection equilibria of higher-order games},
 booktitle    = {Practical aspects of declaritive languages},
 series       = {Lecture Notes in Computer Science},
 volume       = {10137},
 publisher    = {Springer},
 pages        = {136--151},
 doi          = {10.1007/978-3-319-51676-9_9},
)
@article(lescanne12,
 author       = {Pierre Lescanne and Matthieu Perrinel},
 year         = {2012},
 title        = {``{B}ackward'' coinduction, {N}ash equilibrium and the rationality of escalation},
 journal      = {Acta Informatica},
 volume       = {49},
 number       = {3},
 pages        = {117--137},
 doi          = {10.1007/s00236-012-0153-3},
)
@book(brown08,
 author       = {Leyton-Brown, Kevin and Yoav Shoham},
 year         = {2008},
 title        = {Essentials of game theory: a concice, multidisciplinary introduction},
 publisher    = {Morgan and Claypool},
)
@book(mailath_samuelson_repeated_games_reputations,
 author       = {George Mailath and Larry Samuelson},
 year         = {2006},
 title        = {Repeated games and reputations},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780195300796.001.0001},
)
@book(mas_collel_etal_microeconomic_theory,
 author       = {Mas-Colell, Andreu and Michael Whinston and Jerry Green},
 year         = {1995},
 title        = {Microeconomic theory},
 publisher    = {Oxford University Press},
)
@article(moggi91,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of computation and monads},
 journal      = {Information and Computation},
 volume       = {93},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@article(nash50b,
 author       = {John Nash},
 year         = {1950},
 title        = {Equilibrium points in $n$-person games},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {36},
 number       = {1},
 pages        = {48--49},
 doi          = {10.1073/pnas.36.1.48},
)
@book(vonneumann44,
 author       = {John von Neumann and Oskar Morgenstern},
 year         = {1944},
 title        = {Theory of games and economic behaviour},
 publisher    = {Princeton University Press},
)
@article(schwalbe01,
 author       = {Ulrich Schwalbe and Paul Walker},
 year         = {2001},
 title        = {{Z}ermelo and the early history of game theory},
 journal      = {Games and economic behaviour},
 volume       = {34},
 pages        = {123--137},
 doi          = {10.1006/game.2000.0794},
)
@techreport(weihrauch-simple-introduction-computable-analysis,
 author       = {Klaus Weihrauch},
 year         = {1995},
 title        = {A simple introduction to computable analysis},
 type         = {Technical Report},
 institution  = {Fern Universit\"at},
)