A Type Theory for Strictly Unital Infty-Categories (2020)
Attributed to:
Higher Algebra and Quantum Protocols
funded by
EPSRC
Abstract
No abstract provided