Globular weak !-categories as models of a type theory
Attributed to:
Higher Algebra and Quantum Protocols
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Working Paper