Calcul lambda
Définition – Que signifie Lambda Calculus? Le calcul lambda est un type de système formel de logique mathématique utilisé en informatique pour la définition, l’application et la récursivité des fonctions. La programmation informatique fonctionnelle est née de ce type de calcul et agit à son tour comme un modèle pour le développement de logiciels en … Lire la suite