Title of article :
Algebraic Theories for Name-Passing Calculi
Author/Authors :
Parrow J.، نويسنده , , Sangiorgi D.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1195
Journal title :
Information and Computation
Journal title :
Information and Computation
