Logique combinatoire et lambda calcul : des logiques d'opérateurs: Guibert Sa, Desclès: 9782364935303: Amazon.com: Books
Lambda calcul avec le code binaire de la technologie numérique. Résumé fond avec code de programme et lambda calcul. Codage et programmation tech Photo Stock - Alamy
Lambda-calcul, types et modèles - Jean-Louis Krivine - Librairie Eyrolles