APA (7th ed.) Citation

Capriotti, P., & Kraus, N. (2018). Univalent higher categories via complete semi-segal types. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

Capriotti, Paolo, and Nicolai Kraus. Univalent Higher Categories via Complete Semi-segal Types. Association for Computing Machinery, 2018.

MLA (9th ed.) Citation

Capriotti, Paolo, and Nicolai Kraus. Univalent Higher Categories via Complete Semi-segal Types. Association for Computing Machinery, 2018.

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