The fine-structure of lambda calculus (1992)

by P Nederpelt