Introduction au calcul lambda
Qu’est-ce que le Lambda Calculus ? Le lambda calculus est un système formel pour exprimer le calcul. Il a été développé par Alonzo Church, un mathématicien dans les années 1930. Le lambda calculus est basé sur les principes d’abstraction et d’application des fonctions, et est essentiellement une façon de décrire le calcul en termes de … Read more