The following pages link to Modules over Monads and Linearity (Q3612664):
Displayed 10 items.
- Nested abstract syntax in Coq (Q1945918) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- (Q5009703) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5089005) (← links)
- (Q5101336) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Modules over relative monads for syntax and semantics (Q5741555) (← links)