✦ LIBER ✦

Parallel Reductions in λ-Calculus

✍ Scribed by M. Takahashi

Book ID: 112252144
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 588 KB
Volume: 118
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Parallel Reduction in Type Free λμ-Calcu

Parallel Reduction in Type Free λμ-Calculus

✍ Kensuke Baba; Sachio Hirokawa; Ken-Etsu Fujita 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 164 KB

An interpretation of λμ-calculus in λ-ca

An interpretation of λμ-calculus in λ-calculus

✍ Ken-etsu Fujita 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 60 KB

We show that any λ-model gives rise to a λµ-model, in the sense that if we have M = λµ N in the equational theory of type free λµ-calculus then ] holds true for some structure [[-]], D induced from a λ-model. The construction of λµ-models can be given by the use of a fixed point operator and the Gö

λβ′ — A λ-calculus with a generalized β-

λβ′ — A λ-calculus with a generalized β-reduction rule

✍ Sundeep Oberoi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 601 KB

An upper bound for reduction sequences i

An upper bound for reduction sequences in the typed λ-calculus

✍ Helmut Schwichtenberg 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 205 KB

An Essay in λ-Calculus

✍ Corrado Pasquali 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

The λ-context Calculus

✍ Murdoch J. Gabbay; Stéphane Lengrand 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 332 KB