𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Lambda Calculus with Explicit Recursion

✍ Scribed by Zena M. Ariola; Jan Willem Klop

Book ID
112252292
Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
955 KB
Volume
139
Category
Article
ISSN
0890-5401

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
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