The differential lambda-calculus

Ehrhard, Thomas; Regnier, Laurent

doi:10.1016/S0304-3975(03)00392-X

Record: found
Abstract: not found
Article: not found

The differential lambda-calculus

Author(s): Thomas Ehrhard , Laurent Regnier

Publication date Created: December 2003

Publication date (Print): December 2003

Journal: Theoretical Computer Science

Publisher: Elsevier BV

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Theoretical Computer Science

Abbreviated Title: Theoretical Computer Science

Publisher: Elsevier BV

ISSN (Print): 03043975

Publication date Created: December 2003

Publication date (Print): December 2003

Volume: 309

Issue: 1-3

Pages: 1-41

Article

DOI: 10.1016/S0304-3975(03)00392-X

SO-VID: 0bc51ddc-66a4-4f5d-aded-9689093e5208

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

The differential lambda-calculus

Read this article at

Abstract

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,468

Cited by 63