Relating categorical semantics for intuitionistic linear logic

DOI10.1007/S10485-004-3134-ZMaRDI QIDQ1781095zbMATH OpenOpenAlexWikidataFDO

Authors Maria Emilia Maietti, Paola Maneggia, Eike Ritter, Valeria 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

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Categorical semantics of linear logic for all
• scientific article; zbMATH DE number 2185654
• scientific article; zbMATH DE number 2079022
• scientific article; zbMATH DE number 1070654
• scientific article; zbMATH DE number 5000963

Cites work

• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1497809 (Why is no real title available?)
• scientific article; zbMATH DE number 1497810 (Why is no real title available?)
• scientific article; zbMATH DE number 1512620 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A note on full intuitionistic linear logic
• An internal language for autonomous categories
• Categories for Types
• Linear explicit substitutions
• The formal theory of monads
• The linear abstract machine

Cited in

(21)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Bousfield localization and algebras over colored operads
• The existential completion
• Modelling coeffects in the relational semantics of linear logic
• scientific article; zbMATH DE number 515743 (Why is no real title available?)
• Categorical semantics of linear logic for all
• A categorical reduction system for linear logic
• Categorical models of syntactic control of intereference revisited, revisited
• Linear logic model of state revisited
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• The syntactic side of autonomous categories enriched over generalised metric spaces
• A categorical semantics for linear logical frameworks
• Categorical models for a semantically linear \(\lambda\)-calculus
• Weak typed Böhm theorem on IMLL
• scientific article; zbMATH DE number 7454912 (Why is no real title available?)
• Game semantics for access control
• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• Comparing hierarchies of types in models of linear logic
• Weighted relational models of typed lambda-calculi
• scientific article; zbMATH DE number 1512620 (Why is no real title available?)
• Linear exponential comonads without symmetry

Describes a project that uses

Uses Software

• Automath

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1781095)