APA (7th ed.) Citation

Angiuli, C., Brunerie, G., Coquand, T., Harper, R., Hou, K., & Licata, D. R. (2021). Syntax and models of Cartesian cubical type theory. Mathematical structures in computer science, 31(4), 424-468. https://doi.org/10.1017/S0960129521000347

Chicago Style (17th ed.) Citation

Angiuli, Carlo, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou, and Daniel R. Licata. "Syntax and Models of Cartesian Cubical Type Theory." Mathematical Structures in Computer Science 31, no. 4 (2021): 424-468. https://doi.org/10.1017/S0960129521000347.

MLA (9th ed.) Citation

Angiuli, Carlo, et al. "Syntax and Models of Cartesian Cubical Type Theory." Mathematical Structures in Computer Science, vol. 31, no. 4, 2021, pp. 424-468, https://doi.org/10.1017/S0960129521000347.