APA (7th ed.) Citation

Aagaard, F. L., Kristensen, M. B., Gratzer, D., & Birkedal, L. (2022). Unifying cubical and multimodal type theory.

Chicago Style (17th ed.) Citation

Aagaard, Frederik Lerbjerg, Magnus Baunsgaard Kristensen, Daniel Gratzer, and Lars Birkedal. Unifying Cubical and Multimodal Type Theory. 2022.

MLA (9th ed.) Citation

Aagaard, Frederik Lerbjerg, et al. Unifying Cubical and Multimodal Type Theory. 2022.