𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The differential lambda-calculus

✍ Scribed by Thomas Ehrhard; Laurent Regnier

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
456 KB
Volume
309
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Lambda-Calculus with Director Strings
Lambda-Calculus with Director Strings
✍ Maribel FernΓ‘ndez; Ian Mackie; FranΓ§ois-RΓ©gis Sinot πŸ“‚ Article πŸ“… 2005 πŸ› Springer 🌐 English βš– 404 KB
Lambda calculus as a workflow model
Lambda calculus as a workflow model
✍ Peter M. Kelly; Paul D. Coddington; Andrew L. Wendelborn πŸ“‚ Article πŸ“… 2009 πŸ› John Wiley and Sons 🌐 English βš– 404 KB
Skew confluence and the lambda calculus
Skew confluence and the lambda calculus with letrec
✍ Zena M. Ariola; Stefan Blom πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 574 KB

We present an extension of the lambda calculus with the letrec construct. In contrast to current theories, which impose restrictions on where the rewriting can take place, our theory is very liberal, e.g., it allows rewriting under lambda abstractions and on cycles. As shown previously, the reductio