Title of article :
A Theory of Primitive Objects: Untyped and First-Order Systems
Author/Authors :
Mart?n Abadi، نويسنده , , Luca Cardelli، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Journal title :
Information and Computation
Journal title :
Information and Computation