Types are Internal Infty-Groupoids (2021)

First Author: Finster E

Attributed to: Higher Algebra and Quantum Protocols funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ericfinster.github.io/files/type-int-grpds.pdf

Type: Technical Report