By Fournet C.   Laneve   in Theoretical Computer Science

ISSN:0304-3975|266|1|569-603

Elsevier‎(2001)‎

Access to resources Favorite 12.827466

By Abadi M.   Fournet C.   Gonthier G.   in Information and Computation

ISSN:0890-5401|174|1|37-83

Academic Press‎(2002)‎

Access to resources Favorite 8.799219