Beyond fi-reduction in Church's (1994)

by R Bloo, F Kamareddine, R Nederpelt
Venue:Eindhoven University of Technology, Department of Mathematics and Computing Science