Strong Normalisation in the p-Calculus (2001)

by N Yoshida, M Berger, K Honda
Venue:LICS'01, 311--322, IEEE