Title of article
A Variable Typed Logic of Effects
Author/Authors
Honsell F.، نويسنده , , Mason I. A.، نويسنده , , Smith S.، نويسنده , , Talcott C.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1195
Pages
36
From page
55
To page
90
Journal title
Information and Computation
Serial Year
1195
Journal title
Information and Computation
Record number
261524
Link To Document