What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages21-32
Number of pages12
Publication statusPublished - 25 Sep 2010
EventProceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10 - New York, New York, USA
Duration: 25 Sep 2010 → …

Conference

ConferenceProceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10
CityNew York, New York, USA
Period25/09/10 → …

Keywords

  • Haskell, exhaustible set, Agda, logic, optimal strategy, dependent type, foundations, search, Functional programming, monad, infinite data, topology, axiom of choice, game theory