processing...
home
items
synthetic topology
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Synthetic Topology
References
Synthetic Topology in Homotopy Type Theory for Probabilistic Programming. Martin E. Bidlingmaier, Florian Faissole, Bas Spitters. 2021.
Homotopy type theory, Synthetic Topology and Probabilistic Programming. Bas Spitters. 2019.
Synthetic Topology and Constructive Metric Spaces. Davorin Lešnik. 2010.