Le lambda-calcul (ou λ-calcul ) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d`application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M e...