Title of article
Intersection and Union Types: Syntax and Semantics
Author/Authors
Barbanera F.، نويسنده , , Dezaniciancaglini M.، نويسنده , , Deliguoro U.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
29
From page
202
To page
230
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261533
Link To Document