The λ-calculus is ω-incomplete (1974)

by G Plotkin
Venue:Journal of Symbolic Logic