APA (7th ed.) Citation

Altenkirch, T., Capriotti, P., & Nicolai, K. (2016). Extending homotopy type theory with strict equality.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, Paolo Capriotti, and Kraus Nicolai. Extending Homotopy Type Theory with Strict Equality. 2016.

MLA (9th ed.) Citation

Altenkirch, Thorsten, et al. Extending Homotopy Type Theory with Strict Equality. 2016.