'Computability and lambda-definability'

AMT-B-11

Off-print, 'Computability and λ-Definability' from The Journal of Symbolic Logic, (Vol. 2, Dec.…