Strong normalization in a typed lambda calculus with lambda structured types (1994)

by R P Nederpelt
Venue:In Selected Papers on Automath