scientific article; zbMATH DE number 139984
From MaRDI portal
Publication:4028343
zbMATH Open0760.18007MaRDI QIDQ4028343FDOQ4028343
Authors: Irisa Rennes, Eric Badouel
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 (38)
- Category-theoretic models of algebraic computer systems
- 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?)
- VDM semantics of programming languages: Combinators and monads
- Lifting theorems for Kleisli categories
- Quantifiers on languages and codensity monads
- Monadic maps and folds for multirelations in an allegory
- Algebras for parameterised monads
- A recipe for state-and-effect triangles
- Coalgebras and monads in the semantics of Java
- Universal properties of impure programming languages
- Recognisable languages over monads
- On the algebraic structure of declarative programming languages
- An algebraic semantics for structured transition systems and its application to logic programs
- An algebraic presentation of predicate logic (extended abstract)
- Title not available (Why is that?)
- Instances of computational effects: an algebraic perspective
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebraic structure of fundamental semantic models
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- 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
- Semantics for algebraic operations
- 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)