Publication:4508305

zbMath0955.03069MaRDI QIDQ4508305

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

Publication date: 27 February 2001

zbMATH Keywords

fibrations; Cartesian closed categories; intuitionistic logic; categorical semantics; intuitionistic linear logic; symmetric monoidal closed categories; monoidal adjunctions; ILT; system of mixed intuitionistic and linear type theory

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

18C50: Categorical semantics of formal languages

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03F35: Second- and higher-order arithmetic and fragments

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

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