Intensional double glueing, biextensional collapse, and the Chu construction
From MaRDI portal
Publication:276476
DOI10.1016/S1571-0661(03)50007-XzbMath1337.03092MaRDI QIDQ276476
Publication date: 3 May 2016
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 (2)
Second-order type isomorphisms through game semantics ⋮ Models and languages for description of parallel processes
This page was built for publication: Intensional double glueing, biextensional collapse, and the Chu construction
