APA (7th ed.) Citation

Altenkirch, T., Danielson, N. A., & Kraus, N. (2016). Partiality, revisited: The partiality monad as a quotient inductive-inductive type.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, Nils Anders Danielson, and Nicolai Kraus. Partiality, Revisited: The Partiality Monad as a Quotient Inductive-inductive Type. 2016.

MLA (9th ed.) Citation

Altenkirch, Thorsten, et al. Partiality, Revisited: The Partiality Monad as a Quotient Inductive-inductive Type. 2016.