The following pages link to (Q3376920):
Displayed 8 items.
- Coherence for modalities (Q531368) (← links)
- Medial commutativity (Q882124) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Associativity as commutativity (Q5477631) (← links)