A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We study the resource calculus, an extension of the λ-calculus allowing to model resource consumption. We achieve an internal separation result, in analogy with Böhm's theorem of λ-calculus. ... It is significant that this equivalence extends the usual η-equivalence and is related to Ehrhard's Taylor expansion -a translation mapping terms into series of finite resources. ... We thank Stefano Guerrini and Henk Barendregt for stimulating discussions and remarks. ...doi:10.1007/978-3-642-21691-6_14 fatcat:ynmb72cil5hrbowwoxqvt2g3cm
The good properties of Plotkin's call-by-value lambda-calculus crucially rely on the restriction to weak evaluation and closed terms. ... The study crucially relies on a new, refined presentation of the fireball calculus, the simplest proposal for open call-by-value, that is more apt to denotational investigations. ... via a separation theorem akin to Bohm's-and other principles may be added-categorical semantics, graphical representations, etc. ...arXiv:1808.10389v2 fatcat:n4633bjqpnc5ncvsnqglaz5ccu