nLab
Martín Escardó

Selected writings

Selected writings

Om synthetic topology:

On differential calculus via coinduction:

On Hedberg's theorem:

On compactness and stable closure:

On injective objects in homotopy type theory:

On the selection monad:

  • Martín Escardó and Paulo Oliva, Selection Functions, Bar Recursion, and Backward Induction, (pdf)

  • Martín Escardó and Paulo Oliva, What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common, (pdf)

  • Martín Escardó and Paulo Oliva, The Peirce translation, Annals of Pure and Applied Logic, 163(6):681–692, 2012, (pdf).

On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):

category: people

Last revised on January 13, 2021 at 07:16:54. See the history of this page for a list of all contributions to it.