Modelling coeffects in the relational semantics of linear logic

DOI10.4230/LIPICS.CSL.2015.567MaRDI QIDQ5351981zbMATH OpenOpenAlexFDO

Authors 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

bounded linear logiclambda calculusrelational semantics

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)

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

Cited in

(10)

• Generalized bounded linear logic and its categorical semantics
• The free exponential modality of probabilistic coherence spaces
• A core quantitative coeffect calculus
• Logical foundations of quantitative equality
• Super exponentials in linear logic
• Graded differential categories and graded differential linear logic
• Unifying graded linear logic and differential operators
• Quantitative equality in substructural logic via Lipschitz doctrines
• A mixed linear and graded logic: proofs, terms, and models
• Policies for fair exchanges of resources

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)