Full Abstraction for Resource Calculus with Tests
From MaRDI portal
Publication:2915676
DOI10.4230/LIPIcs.CSL.2011.97zbMath1247.03020arXiv1209.2890MaRDI 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
03B70: Logic in computer science
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Related Items
An introduction to differential linear logic: proof-nets, models and antiderivatives, Processes against tests: on defining contextual equivalences, Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion