Title of article

A typed encoding of boxed into safe ambients

Author/Authors

Francesca Levi، نويسنده ,

Issue Information

روزنامه با شماره پیاپی سال 2006

Pages

72

From page

429

To page

500

Journal title

acta Informatica

Serial Year

2006

Journal title

acta Informatica

Record number

287831