A λ-to-CL Translation for Strong Normalization (1997)

by Yohji Akama
Venue:In Proc. Typed Lambda Calculi and Applications (TLCA’97), LNCS 1210, 1–10