APA (7th ed.) Citation

Altenkirch, T., Danielsson, N. A., & Kraus, N. (2017). Partiality, revisited: The partiality monad as a quotient inductive-inductive type. Springer Verlag.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, Nils Anders Danielsson, and Nicolai Kraus. Partiality, Revisited: The Partiality Monad as a Quotient Inductive-inductive Type. Springer Verlag, 2017.

MLA (9th ed.) Citation

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