Pages that link to "Item:Q2846582"
From MaRDI portal
The following pages link to Cartesian closed 2-categories and permutation equivalence in higher-order rewriting (Q2846582):
Displaying 7 items.
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- (Q5009703) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- (Q5101336) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)