By Abadi M.   Cardelli L.   in Information and Computation

ISSN:0890-5401|125|2|78-102

Academic Press‎(1996)‎

Access to resources Favorite 11.200286

By Caires L.   Cardelli L.   in Information and Computation

ISSN:0890-5401|186|2|194-235

Elsevier‎(2003)‎

Access to resources Favorite 11.200286

By Cardelli L.   Ghelli G.   Gordon A.D.   in Information and Computation

ISSN:0890-5401|177|2|160-194

Academic Press‎(2002)‎

Access to resources Favorite 8.810326