Monads and algebras in the semantics of partial data types

DOI10.1016/0304-3975(92)90176-GzbMath0769.68084MaRDI QIDQ1193894

Philip S. Mulry

Publication date: 27 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

semanticsmonadscategories of algebraspartial data types

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Related Items

Lifting theorems for Kleisli categories, Unnamed Item, Partial map classifiers and partial cartesian closed categories, Restriction categories II: Partial map classification, A characterization of generalized existential completions, Boolean restriction categories and taut monads, Restriction categories. I: Categories of partial maps, Boolean and classical restriction categories, Lifting results for categories of algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorial approach to the theory of computation
• Generalized Banach-Mazur functionals in the topos of recursive sets
• Extensional PERs
• Categorical fixed point semantics
• Strong functors and monoidal monads