Modules over monads and initial semantics
From MaRDI portal
Recommendations
Cites work
- A compactification of the real configuration space as an operadic completion
- Bar constructions for topological operads and the {G}oodwillie derivatives of the identity
- de Bruijn notation as a nested datatype
- 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
- 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?)
- 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
Cited in
(21)- Levelwise modules over separable monads on stable derivators
- Nested abstract syntax in Coq
- A formalized general theory of syntax with bindings: extended version
- From signatures to monads in \textsf{UniMath}
- C-system of a module over a \(Jf\)-relative monad
- Modules over Monads and Linearity
- scientific article; zbMATH DE number 1086712 (Why is no real title available?)
- Heterogeneous substitution systems revisited
- scientific article; zbMATH DE number 7379288 (Why is no real title available?)
- High-level signatures and initial semantics
- Modular specification of monads through higher-order presentations
- Modules over monads and operational semantics (expanded version)
- Modules over monads and their algebras
- Programming Languages and Systems
- Modules over relative monads for syntax and semantics
- Initial semantics for strengthened signatures
- Variable binding and substitution for (nameless) dummies
- Variable binding and substitution for (nameless) dummies
- Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
- Scott's representation theorem and the univalent Karoubi envelope
- Monads and distributive laws for Rota-Baxter and differential algebras
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)
