Synthetic Topology

Contents

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.