Generating schemes for partial recursively continuous functionals (1977)

by S Feferman
Venue:in: Colloque International de Logique, ( Éditions de C.N.R.S