Monads and algebras in the semantics of partial data types
type: Item
instance of: scholarly article
title: Monads and algebras in the semantics of partial data types
zbMATH Open document ID: 0769.68084
DOI: 10.1016/0304-3975(92)90176-G
author: Philip S. Mulry
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
review text: In this paper we have proposed a general program for interpreting partial data types by constructing categories of algebras for special monads. The general ideas outlined in this approach underlie much of the fundamental work in standard semantic examples such as domains, yet work equally well in other settings as well. Much work remains to be done as the rich structure of the monadic refinements has barely been explored or applied. Future work will also focus on the intrinsic ordering on the partial data types implicit in the constructions as well as the strong connections of this work to operational semantics.
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 65327
zbMATH Keywords: partial data types
zbMATH Keywords: categories of algebras
zbMATH Keywords: monads
zbMATH Keywords: semantics
MaRDI profile type: Publication
cites work: Extensional PERs
cites work: Strong functors and monoidal monads
cites work: Q4693151
cites work: Q4123496
cites work: Q3202991
cites work: Generalized Banach-Mazur functionals in the topos of recursive sets
cites work: A categorial approach to the theory of computation
cites work: Categorical fixed point semantics
description: scientific article; zbMATH DE number 65327