Computable functionals of finite type I (1967)

by R O Gandy
Venue:Sets, Models and Recursion Theory