scientific article; zbMATH DE number 6287276
From MaRDI portal
Publication:5411254
zbMath1287.03001MaRDI QIDQ5411254
Publication date: 23 April 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Intermutation ⋮ Equality of proofs for linear equality ⋮ Coherence for modalities ⋮ Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions ⋮ Inferential Semantics ⋮ Coherence in linear predicate logic ⋮ Aspects of Categorical Recursion Theory ⋮ Symmetric Self-adjunctions and Matrices
