𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Parallel Reduction in Type Free λμ-Calculus

✍ Scribed by Kensuke Baba; Sachio Hirokawa; Ken-Etsu Fujita

Book ID
108498391
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
164 KB
Volume
42
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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ö