Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion


We study the semantics of a resource-sensitive extension of the lambda calcu-<lb>lus in a canonical reflexive object of a category of sets and relations, a relational version of<lb>Scott’s original model of the pure lambda calculus. This calculus is related to Boudol’s re-<lb>source calculus and is derived from Ehrhard and Regnier’s differential extension… (More)
DOI: 10.2168/LMCS-8(4:3)2012

5 Figures and Tables


  • Presentations referencing similar topics