1. Some extensional term models for combinatory logics and λ-calculi. Thesis, University of Utrecht, Holland 1971.
2. A global representation of the recursive functions in the λ-calculus. The Proceedings of the Orléans Conference (To appear).
3. Combinatory recursive objects of all finite types
4. and Combinatory logic. Amsterdam 1958.
5. Simultane Rekursionen in der Theorie der Funktionale endlicher Typen