Computable and recursively countable functions of higher type (1977)

by R Gandy, J Hyland
Venue:Logic Colloquium 76, North-Holland