Title of article :
Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions
Author/Authors :
Peter M?ller Neergaard، نويسنده , , Morten Heine S?rensen، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
?-calculus , uniform normalization , inferring strong normalization from weak.
Journal title :
Information and Computation
Journal title :
Information and Computation
