Exercice de beta reduction en lambda calcul - YouTube
Lambda calcul
Lambda-calcul — Wikipédia
PDF] Lambda-calcul et langages fonctionnels | Semantic Scholar
La programmation applicative ; de LISP à la machine en passant par le lambda -calcul - Emmanuel Saint James - Hermes Science Publications - Grand format - Lamartine PARIS