processing...
home
items
topological quantum field theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Topological Quantum Field Theory
References
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.