𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Models for the computational λ-calculus

✍ Scribed by John Power

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
155 KB
Volume
40
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Numeration Models of λ-Calculus
Numeration Models of λ-Calculus
✍ Akira Kanda 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 644 KB

## XUMERATIOK MODELS OF A-CALCULUS by AKIRA KANDA in Vancouver (Canada)') ## 81. A-ealculns The A-calculus developed by CHURCH [2] is a formal system designed to study the equivalence of functions composed from other functions in certain primitive ways. In this section, we briefly overview this

Classes of Numeration Models of λ-Calcul
Classes of Numeration Models of λ-Calculus
✍ Akira Kanda 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 439 KB

Th.-2-calculus developed by CHVRCH [ 2 ] is the following formal system: Let F' be a countable set of variables. Dcfiiiition 1.1. (2-terms). 1. If .c E V . then x is a A-term. ## 2 . If -11 and L are 2-terms, then (ML) is a A-term. We denote the set of all 2-terms by T . We assume a natural me