[L5] ================================================ AMAST Links 02 05

                     Addendum to Technical Report
          New Notions of Reduction and Non-Semantic Proofs of
           Beta Strong Normalization in Typed Lambda Calculi
                             by Joe Wells

  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) from
the following URL:
   ftp://cs-ftp.bu.edu/techreports/
   95-007-strong-normalization-addendum.ps.gz

  Joe Wells <jbw@cs.bu.edu>
  Member of the League for Programming Freedom---send email for details