Publication:5351981

DOI10.4230/LIPIcs.CSL.2015.567zbMath1373.03127MaRDI QIDQ5351981

Michele Pagani, Flavien Breuvart

Publication date: 31 August 2017

zbMATH Keywords

relational semantics; lambda calculus; bounded linear logic

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

03F52: Proof-theoretic aspects of linear logic and other substructural logics

18B10: Categories of spans/cospans, relations, or partial maps