Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Urs Schreiber
Urs Schreiber
Publications
Canonical Gauges in Higher Gauge Theory. Andreas Gastel. 2018.
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.