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:

category: people

Last revised on June 20, 2019 at 12:11:12. See the history of this page for a list of all contributions to it.