@conference{f8fe638b4df049a39fdaeda4b4714458,
title = "What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common",
keywords = "Haskell, exhaustible set, Agda, logic, optimal strategy, dependent type, foundations, search, Functional programming, monad, infinite data, topology, axiom of choice, game theory",
author = "Martin Escardo and P Oliva",
year = "2010",
month = sep,
day = "25",
doi = "10.1145/1863597.1863605",
language = "English",
pages = "21--32",
note = "Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10 ; Conference date: 25-09-2010",
}