The Differential Lambda-Calculus

The Differential Lambda-Calculus (2001)

by Thomas Ehrhard , Laurent Regnier

Venue:	Theoretical Computer Science
Citations:	30 - 8 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Differential Lambda-Calculus	user correction - Legacy Corrections
AUTHOR NAME	Thomas Ehrhard	SVM HeaderParse 0.1
AUTHOR AFFIL	Institut de Mathmatiques de Luminy,	SVM HeaderParse 0.2
AUTHOR ADDR	C.N.R.S. U.P.R. 9016	SVM HeaderParse 0.1
AUTHOR NAME	Laurent Regnier	SVM HeaderParse 0.1
AUTHOR AFFIL	Institut de Mathmatiques de Luminy,	SVM HeaderParse 0.2
AUTHOR ADDR	C.N.R.S. U.P.R. 9016	SVM HeaderParse 0.1
ABSTRACT	We present an extension of the lambda-calculus with differential constructions motivated by a model of linear logic discovered by the first author and presented in [Ehr01]. We state and prove some basic results (confluence, weak normalization in the typed case), and also a theorem relating the usual Taylor series of analysis to the linear head reduction of lambda-calculus.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
VENUE	Theoretical Computer Science	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2003	INFERENCE
VOLUME	309	INFERENCE
CITATIONS	7 found	ParsCit 1.0