Reutter, David Max Planck Institute for Mathematics, Max Planck Society;
https://doi.org/10.48550/arXiv.2007.08307 (Preprint)
https://doi.org/10.1145/3531130.3533363 (Publisher version)
Finster, E., Reutter, D., Rice, A., & Vicary, J. (2022). A type theory for strictly unital ∞-categories. In C. Baier (Ed.), Proceedings of the Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022). New York, NY: Association for Computing Machinery.