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
Pages
31
From page
149
To page
179
Keywords
?-calculus , uniform normalization , inferring strong normalization from weak.
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262083
Link To Document