Advertisement

Les modeles informatiques des λ-calculs

  • Louis Nolin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)

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.

Keywords

Nous Proposons International Summer School Nous Utilisona Route Collection Condition Suivante 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Louis Nolin
    • 1
  1. 1.U.E.R. de MathématiquesUniversité Paris VIIParisFrance

Personalised recommendations