✦ LIBER ✦

Lambda-Calculus with Director Strings

✍ Scribed by Maribel Fernández; Ian Mackie; François-Régis Sinot

Publisher: Springer
Year: 2005
Tongue: English
Weight: 404 KB
Volume: 15
Category: Article
ISSN: 0938-1279
DOI: 10.1007/s00200-005-0169-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Capturing strong reduction in director s

Capturing strong reduction in director string calculus

✍ Vugranam Sreedhar; Kazem Taghva 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 799 KB

The differential lambda-calculus

✍ Thomas Ehrhard; Laurent Regnier 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 456 KB

Demonstrating Lambda Calculus Reduction

✍ Peter Sestoft 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 129 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

Towards Lambda Calculus Order-Incomplete

Towards Lambda Calculus Order-Incompleteness

✍ Antonino Salibra 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Lambda calculus as a workflow model

✍ Peter M. Kelly; Paul D. Coddington; Andrew L. Wendelborn 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB