44 articles – 42 Notices  [english version]
.:. Consultation > Liste par année > 2004 .:.
3 documents classés par :
fulltext access Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.
Teller D.
Ecole normale supérieure de lyon - ENS LYON Université Claude Bernard - Lyon I (10/11/2004), Lescanne Pierre (Dir.) [tel-00011239 - version 1]
Intersection types for explicit substitutions
Lengrand S., Lescanne P., Dougherty D., Dezani M., Van Bakel S.
Information and Computation 189, 1 (2004) 17 - 42 [hal-00150285 - version 1]
fulltext access Using Ambients to Control Resources (long version)
Teller D., ZIMMER P., Hirschkoff D.
(2004) 126 - 144 [hal-00020253 - version 1]