nLab Martín Escardó (changes)

Showing changes from revision #10 to #11: Added | Removed | Changed

• webpage

Selected writings

Om Onsynthetic topology:

• Martín Escardó, Synthetic topology of data types and classical spaces [[pdf](http://www.cs.bham.ac.uk/~mhe/papers/barbados.pdf)]

• Martín Escardó, The topology of Seemingly impossible functional programs (2012) [[pdf](http://www.cs.bham.ac.uk/~mhe/.talks/popl2012/escardo-popl2012.pdf)]

On exact real computer arithmetic:

• Dave Plume (supervised by Martín Escardó, Alex Simpson): A Calculator for Exact Real Number Computation, University of Edinburgh (1998) [[web](https://www.dcs.ed.ac.uk/home/mhe/plume/)]

On differential calculus via coinduction:

• Martín Escardó, Duško Pavlović, Calculus in coinductive form (1998) (pdf)

On cartesian closed convenient categories of topological spaces, such as compactly generated topological spaces:

• Martín Escardó, Jimmie Lawson, Alex Simpson, Comparing Cartesian closed categories of (core) compactly generated spaces, Topology and its Applications Volume 143, Issues 1–3, 28 August 2004, Pages 105-145 (doi:10.1016/j.topol.2004.02.011)

On the exponential law for spaces:

• Martín Escardó, Reinhold Heckmann, Topologies of spaces of continuous functions (2001) $[$pdf, pdf$]$

On Hedberg's theorem:

• Nicolai Kraus, Martin Escardo, Thierry Coquand , Thorsten Altenkirch, Generalizations of Hedberg’s theorem, in M. Hasegawa (ed.): TLCA 2013, LNCS 7941, pp. 173-188. Springer, Heidelberg 2013. (pdf)

On compactness and stable closure:

• Martín Escardó, Intersections of compactly many open sets are open, 2009 (pdf)

On weakly constant functions and propositional truncation in homotopy type theory:

• Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch, Notions of Anonymous Existence in Martin-Löf Type Theory, Logical Methods in Computer Science 13 1 [, arXiv:1610.03346]

On injective objects in homotopy type theory:

• Martín Escardó, Injectives types in univalent mathematics (arXiv:1903.01211)

On homotopy type theory and univalent foundations of mathematics in/with Agda:

• Martín Hötzel Escardó, Introduction to Univalent Foundations of Mathematics with Agda [[arXiv:1911.00580](https://arxiv.org/abs/1911.00580), webpage]

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):

• Tom de Jong, Martín Hötzel Escardó, Domain Theory in Constructive and Predicative Univalent Foundations, in: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, LIPIcs proceedings 183, 2021 (doi:10.4230/LIPIcs.CSL.2021.28, arXiv:2008.01422)