Monads and algebras in the semantics of partial data types (Q1193894): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensional PERs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong functors and monoidal monads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693151 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4123496 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3202991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalized Banach-Mazur functionals in the topos of recursive sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A categorial approach to the theory of computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Categorical fixed point semantics / rank | |||
Normal rank |
Latest revision as of 14:26, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Monads and algebras in the semantics of partial data types |
scientific article |
Statements
Monads and algebras in the semantics of partial data types (English)
0 references
27 September 1992
0 references
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.
0 references
partial data types
0 references
categories of algebras
0 references
monads
0 references
semantics
0 references