Monads and algebras in the semantics of partial data types
From MaRDI portal
Publication:1193894
DOI10.1016/0304-3975(92)90176-GzbMath0769.68084MaRDI QIDQ1193894
Publication date: 27 September 1992
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Unnamed Item, Restriction categories. I: Categories of partial maps, Lifting theorems for Kleisli categories, Partial map classifiers and partial cartesian closed categories, Restriction categories II: Partial map classification, Lifting results for categories of algebras, Boolean restriction categories and taut monads, A characterization of generalized existential completions, Boolean and classical restriction categories
Cites Work