The λ-calculus is ω-incomplete (1974)

by G D Plotkin
Venue:Journal of Symbolic Logic