Aagaard, F. L., Kristensen, M. B., Gratzer, D., & Birkedal, L. (2022). Unifying cubical and multimodal type theory.
Chicago-Zitierstil (17. Ausg.)Aagaard, Frederik Lerbjerg, Magnus Baunsgaard Kristensen, Daniel Gratzer, und Lars Birkedal. Unifying Cubical and Multimodal Type Theory. 2022.
MLA-Zitierstil (9. Ausg.)Aagaard, Frederik Lerbjerg, et al. Unifying Cubical and Multimodal Type Theory. 2022.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.