Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
Un modèle fonctionnel des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 11
(1977),
p. 213-236
/ Harvested from
Numdam
Sallé, Patrick
Une généralisation de la théorie des types en
λ
-calcul
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 14
(1980),
p. 143-167
/ Harvested from
Numdam
Sallé, Patrick
Une généralisation de la théorie des types en
λ
-calcul (II)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 14
(1980),
p. 301-314
/ Harvested from
Numdam
Sallé, P.
Note sur la sémantique des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 13
(1979),
p. 185-188
/ Harvested from
Numdam
Canal, Richard
Complexité de la réduction en logique combinatoire
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 12
(1978),
p. 339-367
/ Harvested from
Numdam
Robinet, Bernard
;
Nozick, François
Sémantique des structures de contrôle
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications,
Tome 11
(1977),
p. 63-74
/ Harvested from
Numdam