@incollection{fdi:010008789,
  title = {{P}rogrammation fonctionnelle et substitutions explicites},
  author = {{L}escanne, {P}.},
  editor = {},
  language = {{FRE}},
  abstract = {{L}e lambda calcul est l'outil th{\'e}orique de base pour l'{\'e}tude des langages de programmation et plus pr{\'e}cis{\'e}ment des langages de programmation fonctionnels. {L}a substitution y joue un r{\^o}le essentiel, c'est pourquoi nous l'avons {\'e}tudi{\'e}e et nous pr{\'e}sentons un calcul dit de substitutions explicites qui permet de l'int{\'e}grer {\`a} l'int{\'e}rieur du lambda calcul. {D}e l{\`a}, nous introduisons une machine abstraite, la machine {\`a} triade qui sert de substrat aux implantations du lambda calcul et donc aux implantations des langages fonctionnels. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{LANGAGE} {DE} {PROGRAMMATION} ; {SUBSTITUTION} ; {FONCTION} {MATHEMATIQUE}},
  booktitle = {{CARI}'96 : actes du 3{\`e}me colloque africain sur la recherche en informatique = {CARI}'96 : proceedings of the 3rd {A}frican conference on research in computer science},
  numero = {},
  pages = {830--841},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1996},
  ISBN = {2-7099-1333-{X}},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:010008789},
}