The following pages link to (Q4536403):
Displayed 7 items.
- Category theory for operational semantics (Q703525) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- An initial algebra approach to term rewriting systems with variable binders (Q853743) (← links)
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Abstract Syntax: Substitution and Binders (Q5262926) (← links)