A global representation of the recursive functions in the lambda-calculus - Barendregt, Hendrik P. 1947- (Math. Inst., 1973)