Theoretical Computer Science
Lambda-calculus, types and models
Lambda-calculus, types and models
Lambda abstraction algebras: representation theorems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Lambda abstraction algebras: coordinatizing models of Lambda calculus
Fundamenta Informaticae
On the algebraic models of Lambda calculus
Theoretical Computer Science - Modern algebra and its applications
The Lambda-Calculus with Multiplicities (Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
The differential Lambda-calculus
Theoretical Computer Science
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science
The Lattice of Lambda Theories
Journal of Logic and Computation
Boolean Algebras for Lambda Calculus
LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
Uniformity and the Taylor expansion of ordinary lambda-terms
Theoretical Computer Science
Mathematical Structures in Computer Science
Parallel Reduction in Resource Lambda-Calculus
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Universal Algebra to Lambda Calculus*
Journal of Logic and Computation
Intuitionistic differential nets and lambda-calculus
Theoretical Computer Science
Böhm trees, krivine's machine and the taylor expansion of lambda-terms
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Solvability in resource lambda-calculus
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Hi-index | 0.00 |
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-, 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öhm tree.