Abstract: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 resource lambda-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-, lambda-abstraction) algebra induces a "classical" combinatory (resp. lambda-, lamb… Show more
† This work was partly funded by the NWO Project 612.000.936 CALMOC (CAtegorical and ALgebraic Models of Computation) and by Digiteo/Île-de-France Project 2009-28HD COLLODI (Complexity and concurrency through ludics and differential linear logic).
† This work was partly funded by the NWO Project 612.000.936 CALMOC (CAtegorical and ALgebraic Models of Computation) and by Digiteo/Île-de-France Project 2009-28HD COLLODI (Complexity and concurrency through ludics and differential linear logic).
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.