𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Böhm theorem and Böhm trees for the -calculus

✍ Scribed by Alexis Saurin

Book ID
113927717
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
483 KB
Volume
435
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

-Calculus and Böhm's Theorem
-Calculus and Böhm's Theorem
✍ René David and Walter Py 📂 Article 📅 2001 🏛 Association for Symbolic Logic 🌐 English ⚖ 181 KB
The Typed Böhm Theorem
The Typed Böhm Theorem
✍ Kosta Došen; Zoran Petrić 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 263 KB
Adapting innocent game models for the Bö
Adapting innocent game models for the Böhm tree λ-theory
✍ Andrew D. Ker; Hanno Nickau; C.-H.Luke Ong 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 759 KB

We present a game model of the untyped -calculus, with equational theory equal to the B ohm tree -theory B, which is universal (i.e. every element of the model is deÿnable by some term). This answers a question of Di Gianantonio, Franco and Honsell. We build on our earlier work, which uses the metho