Axioms for strong reduction in combinatory logic Journal of symbolic logic 32-2 (1967)

by J R Hindley