Some remarks about the connections between combinatory logic and axiomatic recursion theory. R. Hindley, G. Mitschke (1977) Archiv für mathematische Logik und Grundlagenforschung