scientific article; zbMATH DE number 139984
From MaRDI portal
Publication:4028343
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
Cited in
(38)- A recipe for state-and-effect triangles
- Naturality of the conditional and the recursion∗
- Lifting results for categories of algebras
- Algebras for parameterised monads
- Monads and algebras in the semantics of partial data types
- scientific article; zbMATH DE number 92598 (Why is no real title available?)
- scientific article; zbMATH DE number 176139 (Why is no real title available?)
- scientific article; zbMATH DE number 3936500 (Why is no real title available?)
- scientific article; zbMATH DE number 4045109 (Why is no real title available?)
- scientific article; zbMATH DE number 4050953 (Why is no real title available?)
- Semantics for algebraic operations
- Computational Semantics for Monadic Quantifiers
- An algebraic presentation of predicate logic (extended abstract)
- scientific article; zbMATH DE number 1418364 (Why is no real title available?)
- Recognisable languages over monads
- On the algebraic structure of declarative programming languages
- Lifting theorems for Kleisli categories
- Quantifiers on languages and codensity monads
- Universal properties of impure programming languages
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms
- Two cotensors in one: presentations of algebraic theories for local state and fresh names
- scientific article; zbMATH DE number 4087643 (Why is no real title available?)
- scientific article; zbMATH DE number 3999254 (Why is no real title available?)
- Category-theoretic models of algebraic computer systems
- Pre-adjunctions in order enriched categories
- VDM semantics of programming languages: Combinators and monads
- Algebraic presentation of semifree monads
- Completeness for algebraic theories of local state
- scientific article; zbMATH DE number 3940702 (Why is no real title available?)
- Coalgebras and monads in the semantics of Java
- Instances of computational effects: an algebraic perspective
- scientific article; zbMATH DE number 4007695 (Why is no real title available?)
- Monadic maps and folds for multirelations in an allegory
- An algebraic semantics for structured transition systems and its application to logic programs
- Algebraic structure of fundamental semantic models
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 3884350 (Why is no real title available?)
- scientific article; zbMATH DE number 3924120 (Why is no real title available?)
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)
