𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite order spreading models

✍ Scribed by S.A. Argyros; V. Kanellopoulos; K. Tyros


Book ID
119183735
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
426 KB
Volume
234
Category
Article
ISSN
0001-8708

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Order-incompleteness and finite lambda r
✍ 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