Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"

OpenBU

Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"
Kfoury, A.J.; Wells, J.B.
URI: http://hdl.handle.net/2144/1568
Date: 1995-03-31

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.

Show full item record

Files in this item

Name: 1995-007-strong-normalization-addendum.pdf
Size: 145.1Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search OpenBU


Advanced Search

Browse

Deposit Materials