Browse by Authors and Editors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: Article
Number of items: 1.


Altenkirch, Thorsten and Danielsson, Nils Anders and Kraus, Nicolai (2017) Partiality, revisited: the partiality monad as a quotient inductive-inductive type. Lecture Notes in Computer Science, 10203 . pp. 534-549. ISSN 0302-9743

This list was generated on Tue Oct 19 02:32:50 2021 UTC.