Full Abstraction for Resource Calculus with Tests

  title={Full Abstraction for Resource Calculus with Tests},
  author={Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto},
We study the semantics of a resource sensitive extension of the λ-calculus in a canonical reflexive object of a category of sets and relations, a relational version of the original Scott D∞ model of the pure λcalculus. This calculus is related to Boudol’s resource calculus and is derived from Ehrhard and Regnier’s differential extension of Linear Logic and of the λ-calculus. We extend it with new constructions, to be understood as implementing a very simple exception mechanism, and with a “must… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Similar Papers

Loading similar papers…