Refining reduction in the -calculus, Computing Science Note 94/18 (1994)

by F Kamareddine, R P Nederpelt