Title of article

Type Inference for Pure Type Systems

Author/Authors

Paula Severi، نويسنده ,

Issue Information

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

Pages

23

From page

1

To page

23

Journal title

Information and Computation

Serial Year

1998

Journal title

Information and Computation

Record number

261773