The following pages link to Cut elimination in categories (Q1817695):
Displaying 19 items.
- Coherence for modalities (Q531368) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- G-dinaturality. (Q1400601) (← links)
- Self-adjunctions and matrices. (Q1408350) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Obituary: Kosta Došen (1954--2017) (Q2631641) (← links)
- Symmetric Self-adjunctions and Matrices (Q2876730) (← links)
- Simplicial Endomorphisms (Q3514792) (← links)
- Optional and Iterated Types for Pregroup Grammars (Q3540100) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Inferential Semantics (Q5213609) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)
