Chen, L.-T., Nordvall Forsberg, F. und Tsai, T.-C. (2026) „Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda“, in. doi:10.1145/3779031.3779090.
Chicago Manual of Style 17th edition (full note)Chen, Liang-Ting, Fredrik Nordvall Forsberg, und Tzu-Chun Tsai. „Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda“. In . https://doi.org/10.1145/3779031.3779090.
American Psychological Association 7th editionChen, L.-T., Nordvall Forsberg, F., & Tsai, T.-C. (2026, Januar 1). Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda. https://doi.org/10.1145/3779031.3779090
Modern Language Association 9th editionChen, L.-T., F. Nordvall Forsberg, und T.-C. Tsai. Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda. 2026, https://doi.org/10.1145/3779031.3779090.
ISO-690 (author-date, Deutsch)CHEN, Liang-Ting, Fredrik NORDVALL FORSBERG und Tzu-Chun TSAI, 2026. Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda. In: . 1 Januar 2026