The algebraic lambda calculus

Mathematical Structures in Computer Science

Volumn 19, Issue 5, 2009, Pages 1029-1059

  Vaux, Lionel ^a  

^a UNIVERSITÉ DE SAVOIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL MECHANICS; DIFFERENTIATION (CALCULUS); VECTOR SPACES;

BETA-REDUCTION; CONSERVATIVITY; LAMBDA CALCULUS; LINEAR COMBINATIONS; NATURAL EXTENSION; NORMALISATION; POINT WISE; SIMPLE TYPES;

CALCULATIONS;

EID: 74149089417     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129509990089     Document Type: Article

References (11)

1. Arrighi, P. and Dowek, G. (2005) A computational definition of the notion of vectorial space. Electr. Notes Theor. Comput. Sci. 117 249-261.
2. Arrighi, P. and Dowek, G. (2008) Linear-algebraic lambda-calculus: higher-order, encodings, and confluence. In: Voronkov, A. (ed.) RTA. Springer-Verlag Lecture Notes in Computer Science 5117 17-31.
3. Ehrhard, T. (2001) On Köthe sequence spaces and linear logic. Mathematical Structures in Computer Science 12 579-623.
4. Ehrhard, T. (2005) Finiteness spaces. Mathematical Structures in Computer Science 15 (4) 615-646.
5. Ehrhard, T. and Regnier, L. (2003) The differential lambda-calculus. Theoretical Computer Science 309 1-41.
6. Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science 50 1-102.
7. Girard, J.-Y. (1988) Normal functors, power series and lambda-calculus. Annals of Pure and Applied Logic 37 (2) 129-177.
8. Krivine, J.-L. (1990) Lambda-calcul, types et mod̀eles, Masson, Paris.
9. Peterson, G. E. and Stickel, M.E. (1981) Complete sets of reductions for some equational theories. J. ACM 28 (2) 233-264.
10. Vaux, L. (2007a) The differential λ-calculus. Theoretical Computer Science 379 (1-2) 166-209.
11. Vaux, L. (2007b) On linear combinations of terms. In: Baader, F. (ed.) RTA. Springer-Verlag Lecture Notes in Computer Science 4533 374-388.