A finiteness structure on resource terms

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2010, Pages 402-410

  Ehrhard, Thomas ^a  

^a CNRS   (France)

Author keywords

Algebraic system F; Denotational semantics; Finiteness spaces; Lambda calculus; Linear logic; Reducibility

Indexed keywords

ALGEBRA; CALCULATIONS; COMPUTER CIRCUITS; SEMANTICS; TAYLOR SERIES;

ALGEBRAIC SYSTEM; DENOTATIONAL SEMANTICS; FINITENESS SPACES; LAMBDA CALCULUS; LINEAR LOGIC; REDUCIBILITY;

DIFFERENTIATION (CALCULUS);

EID: 78449267891     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2010.38     Document Type: Conference Paper

References (19)

1. T. Ehrhard and L. Regnier, "The differential lambda-calculus," Theoretical Computer Science, vol. 309, no. 1-3, pp. 1-41, 2003.
2. -, "Differential interaction nets," Theoretical Computer Science, vol. 364, no. 2, pp. 166-195, 2006.
3. T. Ehrhard and O. Laurent, "Interpreting a finitary pi-calculus in differential interaction nets," Information and Computation, 2009, to appear.
4. P. Tranquilli, "Intuitionistic Differential Nets and Lambda-Calculus," Theoretical Computer Science, 2008, to appear.
5. T. Ehrhard and L. Regnier, "Uniformity and the Taylor expansion of ordinary lambda-terms," Theoretical Computer Science, vol. 403, no. 2-3, pp. 347-372, 2008.
6. G. Boudol, "The lambda calculus with multiplicities," INRIA Sophia-Antipolis, Tech. Rep. 2025, 1993.
7. G. Boudol, P.-L. Curien, and C. Lavatelli, "A semantics for lambda calculi with resource," Mathematical Structures in Computer Science, vol. 9, no. 4, pp. 437-482, 1999.
8. A. J. Kfoury, "A linearization of the lambda-calculus," Journal of Logic and Computation, vol. 10, no. 3, pp. 411-436, 2000.
9. P. Arrighi and G. Dowek, "Linear-algebraic lambda-calculus: highe-rorder, encodings, and confluence." in RTA, ser. Lecture Notes in Computer Science, A. Voronkov, Ed., vol. 5117. Springer, 2008, pp. 17-31.
10. T. Ehrhard, "Finiteness spaces," Mathematical Structures in Computer Science, vol. 15, no. 4, pp. 615-646, 2005.
11. J.-L. Krivine, Lambda-Calculus, Types and Models, ser. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood, 1993, translation by René Cori from French 1990 edition (Masson).
12. L. Vaux, "The differential lambda-mu calculus," Theoretical Computer Science, vol. 379, no. 1-2, pp. 166-209, 2005.
13. M. Pagani and P. Tranquilli, "Parallel Reduction in Resource Lambda-Calculus," in APLAS, ser. Lecture Notes in Computer Science, Z. Hu, Ed., vol. 5904. Springer, 2009, pp. 226-242.
14. S. Lefschetz, Algebraic topology, ser. American mathematical society colloquium publications. American Mathematical Society, 1942, no. 27.
15. L. Vaux, "On linear combinations of lambda-terms," in Term Rewriting and Applications, ser. Lecture Notes in Computer Science, vol. 4533. Springer-Verlag, 2007, pp. 374-388.
16. -, "The algebraic lambda-calculus," Mathematical Structures in Computer Science, vol. 19, no. 5, pp. 1029-1059, 2009.
17. C. Tasson, "Sémantiques et syntaxes vectorielles de la logique linéaire," Thèse de doctorat, Université Paris Diderot - Paris 7, 2009.
18. J.-Y. Girard, "The system F of variable types, fifteen years later," Theoretical Computer Science, vol. 45, pp. 159-192, 1986.
19. T. Ehrhard and L. Regnier, "Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms," in Logical Approaches to Computational Barriers, ser. Lecture Notes in Computer Science, A. Beckmann, U. Berger, B. Löwe, and J. V. Tucker, Eds., vol. 3988. Springer-Verlag, 2006, pp. 186-197.