Weak and strong beta normalisations in typed lambda-calculi (1997)

by H Xi
Venue:Proc. of the 3th Int. Conf. on Typed Lambda Calculus and Applications (TLCA’97), volume 1210 of LNCS