Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type.

Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus

Browse the full FOSSACS paper archive.