Thomas Ehrhard, Laurent Regnier  Home/Search
Context
Related
| iml.univmrs.fr/ftp/eh...difflamb.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iml.univmrs.fr/ftp/re...Articles (more) Homepages: T.Ehrhard |
Rate this article:      (best)Comment on this article |
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