Partial recursive functionals and effective operations, in Heyting (1959)

by G Kreisel, D Lacombe, J R Shoenfield