A Type Theory for Strictly Associative Infinity Categories (2021)
Attributed to:
Higher Algebra and Quantum Protocols
funded by
EPSRC
Abstract
No abstract provided