Title of article
A Theory of Primitive Objects: Untyped and First-Order Systems
Author/Authors
Mart?n Abadi، نويسنده , , Luca Cardelli، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
25
From page
78
To page
102
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261635
Link To Document