Benjamin, T., Champin, C., & Markakis, I. (2026). A type theory for invertibility in weak $ω$-categories.
Chicago-Zitierstil (17. Ausg.)Benjamin, Thibaut, Camil Champin, und Ioannis Markakis. A Type Theory for Invertibility in Weak $ω$-categories. 2026.
MLA-Zitierstil (9. Ausg.)Benjamin, Thibaut, et al. A Type Theory for Invertibility in Weak $ω$-categories. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.