Title of article

A Sequent Calculus for Subtyping Polymorphic Types

Author/Authors

Jerzy Tiuryn، نويسنده ,

Issue Information

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

Pages

25

From page

345

To page

369

Journal title

Information and Computation

Serial Year

2001

Journal title

Information and Computation

Record number

261948