Pages that link to "Item:Q4379681"
From MaRDI portal
The following pages link to Isomorphic objects in symmetric monoidal closed categories (Q4379681):
Displayed 6 items.
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)