Modules over monads and initial semantics
From MaRDI portal
Publication:964503
DOI10.1016/j.ic.2009.07.003zbMath1200.68152OpenAlexW2066606716MaRDI QIDQ964503
Marco Maggesi, Andre Hirschowitz
Publication date: 22 April 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.07.003
Related Items (12)
Monads and distributive laws for Rota-Baxter and differential algebras ⋮ Variable binding and substitution for (nameless) dummies ⋮ Variable binding and substitution for (nameless) dummies ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Nested abstract syntax in Coq ⋮ Unnamed Item ⋮ A formalized general theory of syntax with bindings: extended version ⋮ Unnamed Item ⋮ Unnamed Item ⋮ High-level signatures and initial semantics ⋮ From signatures to monads in \textsf{UniMath} ⋮ Heterogeneous Substitution Systems Revisited
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pre-torsors and Galois comodules over mixed distributive laws
- Substitution in non-wellfounded syntax with variable binding
- Notions of computation and monads
- Explicit substitutions and higher-order syntax
- Pseudo-distributive laws and axiomatics for variable binding
- From left modules to algebras over an operad: application to combinatorial Hopf algebras
- A compactification of the real configuration space as an operadic completion
- Bar constructions for topological operads and the {G}oodwillie derivatives of the identity
- The formal theory of monads
- HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
- HOMOTOPY THEORY OF COALGEBRAS
- de Bruijn notation as a nested datatype
- Theorem Proving in Higher Order Logics
This page was built for publication: Modules over monads and initial semantics
