En logique mathématique et en informatique, lambda calculus, également écrit comme Î '' - calculus, est un système formel pour la définition des fonctions, l'application des fonctions et la récursion.
En logique mathématique et en informatique, lambda calculus, aussi Î '' - calculus, est un systÃ ¨ me formel.