APA (7th ed.) Citation

Altenkirch, T., Capriotti, P., Dijkstra, G., & Nordvall Forsberg, F. N. F. (2017). Quotient inductive-inductive types.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, Paolo Capriotti, Gabe Dijkstra, and Fredrik Nordvall Forsberg Nordvall Forsberg. Quotient Inductive-inductive Types. 2017.

MLA (9th ed.) Citation

Altenkirch, Thorsten, et al. Quotient Inductive-inductive Types. 2017.