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

Fibrational modal type theory, Relating categorical semantics for intuitionistic linear logic