Computable and recursively countable functions of higher type (1976)

by R O Gandy, J M E Hyland
Venue:In Logic Colloquium 76