@inproceedings{Bucciarelli2011FullAF,
title={Full Abstraction for Resource Calculus with Tests},
author={Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto},
booktitle={CSL},
year={2011}
}

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