Modules over monads and initial semantics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 2003152 (Why is no real title available?)
- scientific article; zbMATH DE number 2144707 (Why is no real title available?)
- scientific article; zbMATH DE number 2090722 (Why is no real title available?)
- scientific article; zbMATH DE number 1424053 (Why is no real title available?)
- A compactification of the real configuration space as an operadic completion
- Bar constructions for topological operads and the {G}oodwillie derivatives of the identity
- Explicit substitutions and higher-order syntax
- From left modules to algebras over an operad: application to combinatorial Hopf algebras
- HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
- HOMOTOPY THEORY OF COALGEBRAS
- Notions of computation and monads
- Pre-torsors and Galois comodules over mixed distributive laws
- Pseudo-distributive laws and axiomatics for variable binding
- Substitution in non-wellfounded syntax with variable binding
- The formal theory of monads
- Theorem Proving in Higher Order Logics
- de Bruijn notation as a nested datatype
Cited in
(18)- Variable binding and substitution for (nameless) dummies
- A formalized general theory of syntax with bindings: extended version
- Nested abstract syntax in Coq
- Modules over monads and their algebras
- Programming Languages and Systems
- From signatures to monads in \textsf{UniMath}
- scientific article; zbMATH DE number 7559272 (Why is no real title available?)
- Monads and distributive laws for Rota-Baxter and differential algebras
- scientific article; zbMATH DE number 7379288 (Why is no real title available?)
- C-system of a module over a \(Jf\)-relative monad
- High-level signatures and initial semantics
- Initial semantics for strengthened signatures
- Modules over Monads and Linearity
- Modules over relative monads for syntax and semantics
- Heterogeneous substitution systems revisited
- Levelwise modules over separable monads on stable derivators
- Variable binding and substitution for (nameless) dummies
- scientific article; zbMATH DE number 7577567 (Why is no real title available?)
This page was built for publication: Modules over monads and initial semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964503)
