Pages that link to "Item:Q703526"
From MaRDI portal
The following pages link to Substitution in non-wellfounded syntax with variable binding (Q703526):
Displaying 13 items.
- Modules over monads and initial semantics (Q964503) (← links)
- From signatures to monads in \textsf{UniMath} (Q2319990) (← links)
- C-system of a module over a \(Jf\)-relative monad (Q2689172) (← links)
- Some Wellfounded Trees in UniMath (Q2819193) (← links)
- (Q3532206) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Heterogeneous Substitution Systems Revisited (Q4580223) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q5009703) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Semantics of Higher-Order Recursion Schemes (Q5891582) (← links)
