The lambda-Calculus is omega-Incomplete

Gordon D. Plotkin. The lambda-Calculus is omega-Incomplete. Journal of Symbolic Logic, 39(2):313-317, 1974.

Abstract

Abstract is missing.