APA (7th ed.) Citation

Altenkirch, T., Kaposi, A., & Xie, S. (2025). The Groupoid-Syntax of Type Theory is a Set.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, Ambrus Kaposi, and Szumi Xie. The Groupoid-Syntax of Type Theory Is a Set. 2025.

MLA (9th ed.) Citation

Altenkirch, Thorsten, et al. The Groupoid-Syntax of Type Theory Is a Set. 2025.