Title of article

Strong normalization of the second-order symmetric λμ-calculus

Author/Authors

Yoriyuki Yamagata، نويسنده ,

Issue Information

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

Pages

20

From page

1

To page

20

Keywords

?? -Calculus , Strong normalization , Witness extraction

Journal title

Information and Computation

Serial Year

2004

Journal title

Information and Computation

Record number

262247