Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types [chapter]

R.P. Nederpelt
1994 Studies in Logic and the Foundations of Mathematics  
doi:10.1016/s0049-237x(08)70217-9 fatcat:sq4eb3ukfndqzbhw2bhne272i4