Martín Escardó, Synthetic topology of data types and classical spaces, (pdf)
Martín Escardó, The topology of Seemingly impossible functional programs, (pdf)
On differential calculus via coinduction:
On compactness and stable closure:
On injective objects in homotopy type theory:
Last revised on June 20, 2019 at 12:11:12. See the history of this page for a list of all contributions to it.