Title: Addendum to ``New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in Typed Lambda Calculi''
Author: A. J. Kfoury and J. B. Wells
Date: March 1995

Abstract:
This is an addendum to our technical report BUCS TR-94-014 of December
19, 1994.  It clarifies some statements, adds information on some
related research, includes a comparison with research be de Groote, and
fixes two minor mistakes in a proof.