scientific article
From MaRDI portal
Publication:3552041
zbMath1226.03066MaRDI QIDQ3552041
Publication date: 20 April 2010
Full work available at URL: https://eudml.org/doc/223263
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (6)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ A micrological study of negation ⋮ On Hopf adjunctions, Hopf monads and Frobenius-type properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dialogue Categories and Frobenius Monoids
This page was built for publication: