Re reduction in the -calculus (1995)

by F Kamareddine, R P Nederpelt
Venue:Journal of Functional Programming