The Differential Lambda-Calculus (2001)
by
Thomas Ehrhard
,
Laurent Regnier
| Venue: | Theoretical Computer Science |
| Citations: | 30 - 8 self |
Document Versions
| The Differential Lambda-Calculus –Thomas Ehrhard, Laurent Regnier — 2001 — Theoretical Computer Science |
| The Differential Lambda-Calculus –Thomas Ehrhard, Laurent Regnier — 2003 — Theoretical Computer Science |
