The following pages link to (Q5101336):
Displaying 4 items.
- Levelwise modules over separable monads on stable derivators (Q1703587) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)
- Variable binding and substitution for (nameless) dummies (Q6151566) (← links)