Calcul Lambda

Système formel pour exprimer le calcul fondé sur l'abstraction de fonction, l'application, la liaison de variables et la substitution ; il constitue un modèle de programmation minimal et la base du paradigme fonctionnel et de la théorie de la calculabilité.

Un système formel pour représenter la computation par abstraction de fonction (λx. M), application (M N), liaison de variables et substitution, avec des règles opérationnelles telles que l'alpha-équivalence et la beta-réduction ; il sert de modèle fondamental de calcul.