✦ LIBER ✦

Towards Lambda Calculus Order-Incompleteness

✍ Scribed by Antonino Salibra

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 263 KB
Volume: 50
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00170-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Order-incompleteness and finite lambda r

Order-incompleteness and finite lambda reduction models

✍ Peter Selinger 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 351 KB

Many familiar models of the untyped lambda calculus are constructed by order-theoretic methods. This paper provides some basic new facts about ordered models of the lambda calculus. We show that in any partially ordered model that is complete for the theory of ÿ-or ÿÁ-conversion, the partial order i

Inductive types and type constraints in

Inductive types and type constraints in the second-order lambda calculus

✍ Nax Paul Mendler 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 902 KB

Strong normalization of a symmetric lamb

Strong normalization of a symmetric lambda calculus for second-order classical logic

✍ Yoriyuki Yamagata 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 99 KB