Les modeles informatiques des λ-calculs

Résumé

Nous nous proposons de dire ce que peut être l'interprétation d'un λ-calcul dans une collection d'algorithmes, notion que nous avons déjà définie [2], et quelles en sont les propriétés essentielles.

Les résultats sont présentés dans la première partie de ce mémoire et démontrés dans la troisième; nous rappelons dans la seconde partie la définition des collections d'algorithmes et certaines de leurs propriétés qui sont utilisées par la suite; nous terminons par quelques commentaires et un hommage aux auteurs dont l'oeuvre nous a inspiré ou qui nous paraissent avoir obtenu des résultats voisins des nôtres.

Ce travail a été grandement facilité par l'aide que nous a apportée le Centre National de la Recherche Scientifique (ATP 7110).