PLUME
Accueil
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Recherche
Rechercher
Recherche avancée
Recherche par identifiant
44 articles – 42 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> Van Bakel .:.
1 document
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]