Beyond fi-reduction in Church's ! , Computing Science Note 94/20 (1994)

by R Bloo, F Kamareddine, R Nederpelt