1. Computability and continuity in finite types;Bergstra,1976
2. On c-degrees of everywhere defined functionals;Dvornickov;Logica i Algebra,1979
3. Inductive schemata and recursively continuous functionals;Feferman,1977
4. General Recursion Theory;Fenstad,1980
5. Computable and recursively countable functions of higher type;Gandy,1977