Full Abstraction for Resource Calculus with Tests

DOI10.4230/LIPICS.CSL.2011.97zbMath1247.03020arXiv1209.2890OpenAlexW1820150402MaRDI QIDQ2915676

Thomas Ehrhard, Giulio Manzonetto, Antonio Bucciarelli, Alberto Carraro

Publication date: 18 September 2012

Full work available at URL: https://arxiv.org/abs/1209.2890

zbMATH Keywords

relational semanticsfull abstractiondifferential linear logicresource lambda calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (3)

An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion ⋮ Processes against tests: on defining contextual equivalences

This page was built for publication: Full Abstraction for Resource Calculus with Tests