scientific article; zbMATH DE number 1512620

zbMath0955.03069MaRDI QIDQ4508305

Maria Emilia Maietti, Eike Ritter, V. C. V. de Paiva

Publication date: 27 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fibrationsCartesian closed categoriesintuitionistic logiccategorical semanticsintuitionistic linear logicsymmetric monoidal closed categoriesmonoidal adjunctionsILTsystem of mixed intuitionistic and linear type theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

LNL polycategories and doctrines of linear logic ⋮ Adjoint reactive GUI programming ⋮ Fibrational modal type theory ⋮ Relating categorical semantics for intuitionistic linear logic

This page was built for publication: