APA (7th ed.) Citation

Kraus, N. (2016). Constructions with non-recursive higher inductive types.

Chicago Style (17th ed.) Citation

Kraus, Nicolai. Constructions with Non-recursive Higher Inductive Types. 2016.

MLA (9th ed.) Citation

Kraus, Nicolai. Constructions with Non-recursive Higher Inductive Types. 2016.

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