@inproceedings{Escardo:2010:SGT:1863597.1863605,
    Address = {New York, NY, USA},
    Author = {Escard\'{o}, Mart\'{\i}n and Oliva, Paulo},
    BookTitle = {Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming},
    File = {Escardo-Oliva-MSFP2010-corrected (0) - a - a - z.pdf},
    ISBN = {978-1-4503-0255-5},
    Keywords = {agda, axiom of choice, dependent type, exhaustible set, foundations, functional programming, game theory, haskell, infinite data, logic, monad, optimal strategy, search, topology},
    Location = {Baltimore, Maryland, USA},
    Pages = {21--32},
    Publisher = {ACM},
    Series = {MSFP '10},
    Title = {What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common},
    URL = {http://doi.acm.org/10.1145/1863597.1863605},
    Year = {2010},
    acmid = {1863605},
    bdsk-url-1 = {http://www.cs.bham.ac.uk/\textasciitilde mhe/papers/msfp2010/},
    bdsk-url-2 = {http://wadler.blogspot.com/2010/08/what-sequential-games-tychonoff-theorem.html},
    bdsk-url-3 = {http://doi.acm.org/10.1145/1863597.1863605},
    bdsk-url-4 = {http://dx.doi.org/10.1145/1863597.1863605},
    date-added = {2017-03-28 07:53:42 +0000},
    date-modified = {2017-03-28 07:53:42 +0000},
    file-2 = {phdopen-games (0) - a - a - z.pdf},
    file-3 = {tychonoff (0) - a - a - z.lhs},
    numpages = {12},
    doi = {10.1145/1863597.1863605}
}

@inproceedings{Escardo:2010:SGT:1863597.1863605, Address = {New York, NY, USA}, Author = {Escard\'{o}, Mart\'{\i}n and Oliva, Paulo}, BookTitle = {Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming}, File = {Escardo-Oliva-MSFP2010-corrected (0) - a - a - z.pdf}, ISBN = {978-1-4503-0255-5}, Keywords = {agda, axiom of choice, dependent type, exhaustible set, foundations, functional programming, game theory, haskell, infinite data, logic, monad, optimal strategy, search, topology}, Location = {Baltimore, Maryland, USA}, Pages = {21--32}, Publisher = {ACM}, Series = {MSFP '10}, Title = {What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common}, URL = {http://doi.acm.org/10.1145/1863597.1863605}, Year = {2010}, acmid = {1863605}, bdsk-url-1 = {http://www.cs.bham.ac.uk/\textasciitilde mhe/papers/msfp2010/}, bdsk-url-2 = {http://wadler.blogspot.com/2010/08/what-sequential-games-tychonoff-theorem.html}, bdsk-url-3 = {http://doi.acm.org/10.1145/1863597.1863605}, bdsk-url-4 = {http://dx.doi.org/10.1145/1863597.1863605}, date-added = {2017-03-28 07:53:42 +0000}, date-modified = {2017-03-28 07:53:42 +0000}, file-2 = {phdopen-games (0) - a - a - z.pdf}, file-3 = {tychonoff (0) - a - a - z.lhs}, numpages = {12}, doi = {10.1145/1863597.1863605} }