Sciweavers

MFCS
2010
Springer

Resource Combinatory Algebras

13 years 9 months ago
Resource Combinatory Algebras
Abstract. We initiate a purely algebraic study of Ehrhard and Regnier’s resource λ-calculus, by introducing three equational classes of algebras: resource combinatory algebras, resource lambda-algebras and reambda-abstraction algebras. We establish the relations between them, laying down foundations for a model theory of resource λ-calculus. We also show that the ideal completion of a resource combinatory (resp. lambda-abstraction) algebra induces a “classical” combinatory ambda-, lambda-abstraction) algebra, and that any model of the classical λ-calculus raising from a resource lambda-algebra determines a λ-theory which equates all terms having the same B¨ohm tree.
Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Added 29 Jan 2011
Updated 29 Jan 2011
Type Journal
Year 2010
Where MFCS
Authors Alberto Carraro, Thomas Ehrhard, Antonino Salibra
Comments (0)