High Quality Content by WIKIPEDIA articles! Le lambda- calcul (ou -calcul) est un systeme formel invente par Alonzo Church dans les annees 1930, qui fonde les concepts de fonction et d'application. Il a ete le premier formalisme utilise pour definir et caracteriser les fonctions recursives et donc il a une grande importance dans la theorie de la calculabilite, a l'egal des machines de Turing et du modele de Herbrand-Godel. Il a depuis ete applique comme langage de programmation theorique et comme metalangage pour la demonstration formelle assistee par ordinateur. Le lambda-calcul peut etre ou non type. Le lambda-calcul est apparente a la logique combinatoire de Haskell Curry.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.