APA (7th ed.) Citation

Altenkirch, T., & Kaposi, A. (2016). Type theory in type theory using quotient inductive types. ACM.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Type Theory in Type Theory Using Quotient Inductive Types. ACM, 2016.

MLA (9th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Type Theory in Type Theory Using Quotient Inductive Types. ACM, 2016.

Warning: These citations may not always be 100% accurate.