home
chat
references
tools
settings
help
processing...
home
items
topological quantum field theory
Topological Quantum Field Theory
References
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.