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

Research output: Contribution to conference (unpublished)Paper

6 Citations (Scopus)
Original languageEnglish
Pages21-32
Number of pages12
DOIs
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

Cite this