1. and , Consistency of the unrestricted abstraction principle using an intensional equivalence operator. In: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (and eds.). Academic Press 1980, pp. 67–98.
2. Propositional and predicate calculuses based on combinatory logic.
3. Various systems of set theory based on combinatory logic.
4. Predicate calculus and naive set theory in pure combinatory logic