Relating categorical semantics for intuitionistic linear logic

DOI10.1007/S10485-004-3134-ZzbMath1067.03067OpenAlexW2006319938WikidataQ56994542 ScholiaQ56994542MaRDI QIDQ1781095

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

Publication date: 16 June 2005

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-004-3134-z

zbMATH Keywords

typed lambda calculusintuitionistic linear logicsymmetric monoidal closed categoriescategorical modelsymmetric monoidal adjunctions

Mathematics Subject Classification ID

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) Combinatory logic and lambda calculus (03B40)

Related Items (8)

Linear Exponential Comonads without Symmetry ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Unnamed Item ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ Bousfield localization and algebras over colored operads ⋮ The existential completion ⋮ Game Semantics for Access Control ⋮ Unnamed Item

Uses Software

• Automath

Cites Work

• The linear abstract machine
• An internal language for autonomous categories
• A note on full intuitionistic linear logic
• The formal theory of monads
• Categories for Types
• Linear explicit substitutions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Relating categorical semantics for intuitionistic linear logic