See this document in CiteSeerX!

The Differential Lambda-Calculus (2003)  (Make Corrections)  
Thomas Ehrhard, Laurent Regnier



  Home/Search   Context   Related

 
View or download:
iml.univmrs.fr/ftp/eh...difflamb.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  iml.univmrs.fr/ftp/re...Articles (more)
Homepages:  T.Ehrhard  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present an extension of the lambda-calculus with differential constructions. We state and prove some basic results (confluence, strong normalization in the typed case), and also a theorem relating the usual Taylor series of analysis to the linear head reduction of lambda-calculus. (Update)

Active bibliography (related documents):   More   All
1.6:   The Differential Lambda-Calculus - Ehrhard, Regnier (2001)   (Correct)
0.5:   On Köthe sequence spaces and linear logic - Ehrhard (2001)   (Correct)
0.3:   On Stepwise Explicit Substitution - Kamareddine, NederPelt (1993)   (Correct)

Similar documents based on text:   More   All
0.4:   Believe it or not, AJM's games model is a model of.. - Baillot, Danos.. (1997)   (Correct)
0.3:   Retractions of Types with Many Atoms - Regnier, Urzyczyn (2001)   (Correct)
0.3:   Timeless Games - Baillot, Danos, Ehrhard, Regnier (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ ehrhard-differential,
  author = "Thomas Ehrhard and Laurent Regnier",
  title = "The Differential Lambda-Calculus",
  url = "citeseer.ist.psu.edu/article/ehrhard03differential.html" }
Citations (may not include all citations):
982   Theoretical Computer Science (context) - Girard - 1987
66   What is a categorical model of intuitionistic linear logic - Bierman - 1995
65   volume 103 of Studies in Logic and the Foundations of Mathem.. (context) - Barendregt, Calculus - 1984
35   Games semantics and abstract machines (context) - Danos, Herbelin et al. - 1996
9   Coherent Banach spaces: a continuous denotational semantics - Girard - 1999
9   The Derivative of a Regular Type is its Type of One-Hole Con.. - McBride - 2000
8   Number 752 in Lecture Notes in Mathematics (context) - Barr, categories - 1979
4   A semantics for lambda calculi with resource (context) - Boudol, Curien et al. - 1999
4   Ellis Horwood Series in Computers and Their Applications (context) - Krivine, Types - 1990
4   American Mathematical Society (context) - Kriegl, Michor et al. - 1997
3   Generalizing Automath by means of a lambda-typed lambda calc.. (context) - De Bruijn - 1994
2   The lambda calculus with multiplicities - Boudol - 1993
2   On Kthe sequence spaces and linear logic (context) - Ehrhard - 2002
1   Preliminary version accessible from httpiml (context) - Ehrhard, Preliminary et al. - 2003
1   How abstract machines implement head linear reduction (context) - Danos, Regnier - 2003
1   Number 27 in American mathematical societey colloquium publi.. (context) - Lefschetz - 1942
1   and Conor McBride (context) - Altenkirch, Ghani - 2003

Documents on the same site (http://iml.univ-mrs.fr/ftp/regnier/Articles.html):   More
Proof-nets and the Hilbert space - Danos, Regnier (1995)   (Correct)
About Translations of Classical Logic into Polarized Linear.. - Laurent, Regnier   (Correct)
Head Linear Reduction - Danos, Regnier (2004)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC