Strong normalizability for the combined system of the typed lambda calculus and an arbitrary convergent term rewrite system (0)

by M Okada
Venue:In Proc. of the 1989 Int. Symp. on Symbolic and Algebraic Computation, ACM