scientific article; zbMATH DE number 5171536
From MaRDI portal
Publication:5298120
zbMath1123.18004MaRDI QIDQ5298120
Publication date: 16 July 2007
Full work available at URL: https://eudml.org/doc/128090
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logiccategorical modelsChu spacesmonoidal comonadmonoidal closed categoriesdialectica categories
Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (6)
Natural number objects in Dialectica categories ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Morphisms of open games ⋮ Some classes of abstract simplicial complexes motivated by module theory ⋮ A topologist's view of Chu spaces
This page was built for publication:
