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/

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)