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

Research output: Contribution to conference (unpublished)Paper

Standard

What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common. / Escardo, Martin; Oliva, P.

2010. 21-32 Paper presented at Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10, New York, New York, USA, .

Research output: Contribution to conference (unpublished)Paper

Harvard

Escardo, M & Oliva, P 2010, 'What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common', Paper presented at Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10, New York, New York, USA, 25/09/10 pp. 21-32. https://doi.org/10.1145/1863597.1863605

APA

Escardo, M., & Oliva, P. (2010). What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common. 21-32. Paper presented at Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10, New York, New York, USA, . https://doi.org/10.1145/1863597.1863605

Vancouver

Escardo M, Oliva P. What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common. 2010. Paper presented at Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10, New York, New York, USA, . https://doi.org/10.1145/1863597.1863605

Author

Escardo, Martin ; Oliva, P. / What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common. Paper presented at Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10, New York, New York, USA, .12 p.

Bibtex

@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",

}

RIS

TY - CONF

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

AU - Escardo, Martin

AU - Oliva, P

PY - 2010/9/25

Y1 - 2010/9/25

KW - Haskell

KW - exhaustible set

KW - Agda

KW - logic

KW - optimal strategy

KW - dependent type

KW - foundations

KW - search

KW - Functional programming

KW - monad

KW - infinite data

KW - topology

KW - axiom of choice

KW - game theory

U2 - 10.1145/1863597.1863605

DO - 10.1145/1863597.1863605

M3 - Paper

SP - 21

EP - 32

T2 - Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming - MSFP '10

Y2 - 25 September 2010

ER -