APA (7th ed.) Citation

Kaposi, A. (2017). Type theory in a type theory with quotient inductive types.

Chicago Style (17th ed.) Citation

Kaposi, Ambrus. Type Theory in a Type Theory with Quotient Inductive Types. 2017.

MLA (9th ed.) Citation

Kaposi, Ambrus. Type Theory in a Type Theory with Quotient Inductive Types. 2017.

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