Addendum to "New notions of reduction and non-semantic proofs of β-strong normalization in typed λ-calculi"
Date
1995-03-31
DOI
Authors
Kfoury, A.J.
Wells, J.B.
Version
OA Version
Citation
Kfoury, A.J.; Wells, J.B.. "Addendum to ‘New Notions of Reduction and Non-Semantic Proofs of Beta Strong Normalization in Typed Lambda Calculi’”, Technical Report BUCS-1995-007, Computer Science Department, Boston University, March 31, 1995. [Available from: http://hdl.handle.net/2144/1568]
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.