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