Show simple item record

dc.contributor.authorKfoury, A. J.en_US
dc.contributor.authorWells, J. B.en_US
dc.date.accessioned2011-10-20T04:32:19Z
dc.date.available2011-10-20T04:32:19Z
dc.date.issued1995-03-31
dc.identifier.citationKfoury, 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]
dc.identifier.urihttps://hdl.handle.net/2144/1568
dc.description.abstractThis 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.en_US
dc.description.sponsorshipNational Science Foundation (CCR-9113196)en_US
dc.language.isoen_US
dc.publisherBoston University Computer Science Departmenten_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-1995-007
dc.relation.hasversionBUCS-TR-1995-007
dc.relation.isbasedonBUCS-TR-1994-014
dc.titleAddendum to "New notions of reduction and non-semantic proofs of β-strong normalization in typed λ-calculi"en_US
dc.typeTechnical Reporten_US
dc.relation.isnodouble1221


This item appears in the following Collection(s)

Show simple item record