Full Abstraction for Resource Calculus with Tests
From MaRDI portal
Publication:2915676
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
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