Title of article

Termination of SystemF-bounded: A Complete Proof

Author/Authors

Giorgio Ghelli، نويسنده ,

Issue Information

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

Pages

18

From page

39

To page

56

Journal title

Information and Computation

Serial Year

1997

Journal title

Information and Computation

Record number

261739