PUBLICATIONS

---

• 1. Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus . Journal of Symbolic Logic. 1987

• 2. Reflexive Domains, in To H.B. Curry:Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press. 1982

• 3. Reducibilities in two models for combinatory logic, Journal of Symbolic Logic, 1979

• 4. Data Types as Lattices. RAIRO Theoretical Computer Science,1978

• 5. Hyperenumeration Reducibility, Notre DAme Journal of Formal Logic, 1978

• 6. Logical Completeness of Directed Resolution, Logique et Analyse,1974

• 7. Formally defined operations on Kripke Models, Notre Dame Journal of Formal Logic

• 8. Cut Elimination, Consistency, and Completeness in Classical Logic, Logique et Analyse, 1971.

• 9. A Generalization of Gentzen Hauptsatz, Notre Dame Journal of Formal Logic,1971

• 10. Functionals defined by Recursion, Notre DAme Journal of Formal Logic, 1967

• 11. Types in Combinatory Logic, Notre Dame Journal of Formal Logic,1964

  ---

  >