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?)
Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)
Cited In (13)
- Algebraic presentation of semifree monads
- 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
- An algebraic semantics for structured transition systems and its application to logic programs
- Title not available (Why is that?)
- Lifting results for categories of algebras
- Computational Semantics for Monadic Quantifiers
- Pre-adjunctions in order enriched categories
- Monads and algebras in the semantics of partial data types
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms
Recommendations
- Title not available (Why is that?) 👍 👎
- 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 👍 👎
- Title not available (Why is that?) 👍 👎
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)
