scientific article
From MaRDI portal
Publication:4028343
zbMATH Open0760.18007MaRDI QIDQ4028343FDOQ4028343
Publication date: 28 March 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3512082
- Algebraic presentation of semifree monads
- Algebras for parameterised monads
- Algebras, coalgebras, monads and comonads
- Monads and algebras in the semantics of partial data types
- Monads and theories
- Interpretations into monadic algebras
- On the relations between monadic semantics
- The formal theory of monoidal monads
- scientific article; zbMATH DE number 3913224
Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)
Cited In (26)
- Title not available (Why is that?)
- Algebraic presentation of semifree monads
- Completeness for algebraic theories of local state
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lifting theorems for Kleisli categories
- Quantifiers on languages and codensity monads
- Coalgebras and monads in the semantics of Java
- On the algebraic structure of declarative programming languages
- An algebraic semantics for structured transition systems and its application to logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Naturality of the conditional and the recursion∗
- Lifting results for categories of algebras
- Computational Semantics for Monadic Quantifiers
- Pre-adjunctions in order enriched categories
- Title not available (Why is that?)
- Monads and algebras in the semantics of partial data types
- Title not available (Why is that?)
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028343)
