The following pages link to (Q3376920):
Displaying 21 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)
- Gödel's natural deduction (Q1744008) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- A simple permutoassociahedron (Q2329174) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Gödel on deduction (Q2631643) (← links)
- (Q4585075) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Inferential Semantics (Q5213609) (← links)
- Associativity as commutativity (Q5477631) (← links)
- The placeholder view of assumptions and the Curry-Howard correspondence (Q6066988) (← links)
