The fine structure of lambda calculus, Computing Science Note 92/07 (1992)

by R P Nederpelt