Modelling coeffects in the relational semantics of linear logic

DOI10.4230/LIPICS.CSL.2015.567zbMATH Open1373.03127OpenAlexW2314990538MaRDI QIDQ5351981FDOQ5351981

Flavien Breuvart, Michele Pagani

Publication date: 31 August 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2015/5438/pdf/35.pdf/

Recommendations

• A core quantitative coeffect calculus
• Relating categorical semantics for intuitionistic linear logic
• Relational semantics for a fragment of linear logic
• Weighted relational models of typed lambda-calculi
• Categorical proof theory of co-intuitionistic linear logic

zbMATH Keywords

relational semanticslambda calculusbounded linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categories of spans/cospans, relations, or partial maps (18B10) Functional programming and lambda calculus (68N18)

Cited In (4)

• Generalized bounded linear logic and its categorical semantics
• The Free Exponential Modality of Probabilistic Coherence Spaces
• Logical foundations of quantitative equality
• Super exponentials in linear logic

This page was built for publication: Modelling coeffects in the relational semantics of linear logic

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