Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"
| Data(s) |
20/10/2011
20/10/2011
31/03/1995
|
|---|---|
| Resumo |
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. National Science Foundation (CCR-9113196) |
| Identificador |
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] |
| Idioma(s) |
en_US |
| Publicador |
Boston University Computer Science Department |
| Relação |
BUCS Technical Reports;BUCS-TR-1995-007 BUCS-TR-1995-007 BUCS-TR-1994-014 1221 |
| Tipo |
Technical Report |
