The following pages link to (Q4417873):
Displaying 5 items.
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones (Q1634845) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)