Title of article
Strong Normalization from Weak Normalization in Typedλ-Calculi
Author/Authors
Morten Heine S?rensen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
37
From page
35
To page
71
Journal title
Information and Computation
Serial Year
1997
Journal title
Information and Computation
Record number
261703
Link To Document