Un modèle fonctionnel des structures de contrôle B. Robinet (1977) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une généralisation de la théorie des types en λ -calcul Patrick Sallé (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une généralisation de la théorie des types en λ -calcul (II) Patrick Sallé (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications