Title of article

Ensuring termination by typability

Author/Authors

Yuxin Deng، نويسنده , , Davide Sangiorgi، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2006

Pages

38

From page

1045

To page

1082

Keywords

The -calculus , Termination , Term rewriting techniques , Types

Journal title

Information and Computation

Serial Year

2006

Journal title

Information and Computation

Record number

262358