𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The life and work of Franz Böhm

✍ Scribed by Hans Otto Lenel


Publisher
Springer US
Year
1996
Tongue
English
Weight
577 KB
Volume
3
Category
Article
ISSN
0929-1261

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


An algebraic view of the Böhm-out techni
✍ Adolfo Piperno 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 772 KB

Using an algebraic representation of closed /I-normal forms in I-calculus, the Biihm's theorem is rephrased as an equality predicate between elements of a term algebra. The presented algebraic interpretation gives new insight into the B&m-out technique and allows for original applications of the met