Title of article
Typing evolving ambients
Author/Authors
Xudong Guan، نويسنده , , Yiling Yang، نويسنده , , Jinyuan، FENG نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2001
Pages
6
From page
265
To page
270
Keywords
Type system , Ambient calculus , Theory of computation
Journal title
Information Processing Letters
Serial Year
2001
Journal title
Information Processing Letters
Record number
129425
Link To Document