Strong reduction and normal forms in combinatory logic (1967)

by B Lercher
Venue:Journal of symbolic logic