Pages that link to "Item:Q2707078"
From MaRDI portal
The following pages link to The maximality of Cartesian categories (Q2707078):
Displaying 7 items.
- Cartesian categories with natural numbers object (Q1822604) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)