Title of article

Order-Sorted Inductive Types

Author/Authors

Gilles Barthe، نويسنده ,

Issue Information

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

Pages

35

From page

42

To page

76

Journal title

Information and Computation

Serial Year

1999

Journal title

Information and Computation

Record number

261817