Pages that link to "Item:Q964503"
From MaRDI portal
The following pages link to Modules over monads and initial semantics (Q964503):
Displaying 9 items.
- Monads and distributive laws for Rota-Baxter and differential algebras (Q895973) (← links)
- Nested abstract syntax in Coq (Q1945918) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089005) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)
