The lambda-gamma calculus: A language adequate for defining recursive functions

Paul C. Gilmore. The lambda-gamma calculus: A language adequate for defining recursive functions. Inf. Sci., 2(2):111-126, 1970. [doi]

Abstract

Abstract is missing.