Title of article
Embedding a Second-Order Type System into an Intersection Type System
Author/Authors
Yokouchi H.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
15
From page
206
To page
220
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261489
Link To Document