Title of article
Type Reconstruction for Linear π-Calculus with I/O Subtyping
Author/Authors
Atsushi Igarashi، نويسنده , , Naoki Kobayashi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
44
From page
1
To page
44
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261908
Link To Document