This note is the announcement of an addendum for the December 1994 technical report "New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in Typed Lambda Calculi" by myself and A. J. Kfoury.
The contents of this addendum represent changes some of which have already been incorporated into the LICS '95 conference version of the paper, based on comments we have received. If you have read the technical report, you may want to read the addendum since it contains only changes from the original report. The addendum clarifies some statements, adds information on some related research, includes a comparison with research by de Groote, and fixes two minor mistakes in a proof.
The addendum is Boston University Computer Science Dept. Technical Report number 95-007 and it is available via anonymous ftp (115K).
Joe Wells <jbw@cs.bu.edu>
Member of the League for Programming Freedom---send email for details