Partial recursive functionals and effective operations (1959)

by G Kreisel, D Lacombe, J R Shoenfield
Venue:Constructivity in Mathematics, Studies in Logic and the Foundations of Mathematics