Partiality, revisited: The partiality monad as a quotient inductive-inductive type

Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)
154 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Partiality, revisited: The partiality monad as a quotient inductive-inductive type'. Together they form a unique fingerprint.

Mathematics