LAMBDA-CALCUL

Article

• PROGRAMMATION

  • Écrit par Jean-François MONIN
  • 7 691 mots
  La première approche prend sa source dans un modèle de calcul différent de celui des machines de Turing, dû à Church : le lambda-calcul. Les machines de Turing exposent une vue très opérationnelle du calcul donnée par des transitions entre états. En lambda-calcul pur, on ne manipule que des fonctions,...