Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS Applications of Plotkin-terms: partitions and
Download:
|
|
by Richard Statman, Henk Barendregt
ftp://ftp.cs.kun.nl/pub/CompMath.Found/stat-bar.ps.Z
Add To MetaCart
Abstract:
This theoretical pearl is about the closed term model of pure untyped lambda-terms modulo-convertibility. A consequence of one of the results is that for arbitrary distinct combinators (closed lambda terms) M;M 0
Citations
| 183 | The lambda calculus, its syntax and semantics. Revised edition edn – Barendregt - 1984 |
| 90 | Theory of Recursive Functions and Eective Computability – Rogers - 1967 |
| 1 | 1986]. Every countable poset is embeddable in the poset of unsolvable terms – Statman |
| 1 | 1998]. Morphisms and partitions of V-sets – Statman |
| 1 | 1999]. Consequences of a theorem of Jacopini: consistent equalities and equations – Statman |
