A general method to prove the normalization theorem for first and second order typed λ-calculi (1999)

by Venanzio Capretta , Silvio Valentini
Venue:Mathematical Structures in Computer Science
Citations:4 - 2 self