Recursion theory and the lambda calculus (1982)

by R Byerly
Venue:J. Symbolic Logic