Differential interaction nets

Electronic Notes in Theoretical Computer Science

Volumn 123, Issue , 2005, Pages 35-74

  Ehrhard, Thomas ^a   Regnier, Laurent ^a  

^a AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

Differential calculus; Interaction nets; Lambda calculus; Linear logic; Proof nets

Indexed keywords

APPROXIMATION THEORY; COMPUTER SCIENCE; FORMAL LOGIC; FUNCTIONS; MATHEMATICAL OPERATORS; TOPOLOGY; VECTORS;

INTERACTION NETS; LAMBDA-CALCULUS; LINEAR LOGIC; PROOF NETS;

DIFFERENTIATION (CALCULUS);

EID: 13944262232     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.060     Document Type: Conference Paper

References (15)

1. Gérard Boudol, Pierre-Louis Curien, and Carolina Lavatelli A semantics for lambda calculi with resource Mathematical Structures in Computer Science 9 4 1999 437 482
2. Gérard Boudol. The lambda calculus with multiplicities. Technical Report 2025, INRIA Sophia-Antipolis, 1993
3. Richard Blute, Prakash Panangaden, and Robert Seely Fock space: a model of linear exponential types Proceedings of the Ninth Conference on Mathematical Foundations of Programming Semantics Lecture Notes in Computer Science number 802 1993 Springer-Verlag
4. Felice Cardone, and Mario Coppo Decidability properties of recursive types Carlo Blundo Cosimo Laneve ICTCS Lecture Notes in Computer Science volume 2841 2003 Springer-Verlag 242 255
5. Vincent Danos, and Laurent Regnier The structure of multiplicatives Archives for Mathematical Logic 28 1989
6. Thomas Ehrhard Finiteness spaces Mathematical Structures in Computer Science 2000 To appear
7. Thomas Ehrhard On Köthe sequence spaces and linear logic Mathematical Structures in Computer Science 12 2002 579 623
8. Thomas Ehrhard, and Laurent Regnier The differential lambda-calculus Theoretical Computer Science 309 1-3 2003 1 41
9. Jean-Yves Girard Linear logic Theoretical Computer Science 50 1987 1 102
10. Assaf J. Kfoury A linearization of the lambda-calculus Journal of Logic and Computation 10 3 2000 411 436
11. Yves Lafont Interaction nets Seventeenth Annual Symposium on Principles of Programming Languages San Francisco, California 1990 ACM Press 95 108
12. Yves Lafont From proof nets to interaction nets J.-Y. Girard Y. Lafont L. Regnier Proceedings of the Workshop on Linear Logic Ithaca, New York, June 1993 Advances in Linear Logic 1995 Cambridge University Press 225 247
13. Yves Lafont From proof nets to interaction nets J.-Y. Girard Y. Lafont L. Regnier Proceedings of the Workshop on Linear Logic Ithaca, New York, June 1993 Advances in Linear Logic 1995 Cambridge University Press 225 247
14. Laurent Regnier. Lambda-Calcul et Réseaux. Thèse de doctorat, Université Paris 7, January 1992
15. Davide Sangiorgi, and David Walker The pi-calculus: a Theory of Mobile Processes 2001 Cambridge University Press