Strong Normalisation in a typed lambda calculus with lambda structured types (1973)

by R P Nederpelt
Venue:Eindhoven University of Technology, Department of Mathematics and Computer Science