The discrimination theorem holds for combinatory weak reduction. Theor.Comput.Sci (1979)

by J R Hindley