processing...
home
authors
Urs Schreiber
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.