1. Computability and continuity in finite types. Thesis University of Utrecht 1976.
2. The continuous functionals and 2E. In: Generalized Recursion Theory II ( and (eds.)). North-Holland Publ. Comp., Amsterdam 1978, pp. 39–53.
3. Maximal and everywhere-defined functionals
4. and Computable and recursively countable functionals of higher type. In: Logic Colloquium 1976 ( and (eds.)). North-Holland Publ. Comp., Amsterdam 1977, pp. 407–438.