home
items
synthetic topology
Synthetic Topology
Contents
References
References
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters. Synthetic Topology in Homotopy Type Theory for Probabilistic Programming. 2021.
Bas Spitters. Homotopy type theory, Synthetic Topology and Probabilistic Programming. 2019.
Davorin Lešnik. Synthetic Topology and Constructive Metric Spaces. 2010.