Pages that link to "Item:Q1147133"
From MaRDI portal
The following pages link to Closed categories and the theory of proofs (Q1147133):
Displaying 15 items.
- Linear logic, coherence and dinaturality (Q685406) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Developing developments (Q1392147) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- Three faces of natural deduction (Q4610312) (← links)
- (Q5020970) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)