The following pages link to (Q4936144):
Displaying 5 items.
- Presheaf models for CCS-like languages (Q1399958) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
