𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Standardization Theorem for λ-Calculus

✍ Scribed by Gerd Mitschke

Publisher
John Wiley and Sons
Year
1979
Tongue
English
Weight
185 KB
Volume
25
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The basis decision problem in λ-calculus
The basis decision problem in λ-calculus
✍ Benedetto Intrigila 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 135 KB

## Abstract We show that the problem of deciding if a finite set of closed terms in normal form is a basis is recursively unsolvable. The restricted problem concerning one element sets is still recursively unsolvable. MSC: 03B40, 03D35.