APA (7th ed.) Citation

Doré, M., Cavallo, E., & Mörtberg, A. (2024). Automating Boundary Filling in Cubical Type Theories.

Chicago Style (17th ed.) Citation

Doré, Maximilian, Evan Cavallo, and Anders Mörtberg. Automating Boundary Filling in Cubical Type Theories. 2024.

MLA (9th ed.) Citation

Doré, Maximilian, et al. Automating Boundary Filling in Cubical Type Theories. 2024.