The following pages link to (Q5411254):
Displayed 8 items.
- Intermutation (Q421481) (← links)
- Coherence for modalities (Q531368) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Symmetric Self-adjunctions and Matrices (Q2876730) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Inferential Semantics (Q5213609) (← links)