Introduction à Lambda Calculus (fr)

Pour mieux comprendre la programmation fonctionnelle, j'ai décidé de plonger aux racines de ce paradigme, à savoir le langage λ calculus (λ se prononce lambda). Je rédigerais quelques articles sur ce sujet, en tentant à chaque fois d'expliquer le plus simplement possible ce que j'aurais compris de ce langage.