The fine-structure of lambda calculus (1992)

by P Nederpelt
Venue:Eindhoven Univ. of Technology