lambda-calcul

== Français == === Étymologie === De lambda et calcul, l'utilisation de la lettre λ provient d'une déformation de l'utilisation d'un chevron ( x ^ {\displaystyle {\hat {x}}} ) pour indiquer l'abstraction utilisé dans l'ouvrage Principia Mathematica d'Alfred North Whitehead et Bertrand Russell. === Nom commun === lambda-calcul \lɑ̃b.da kal.kyl\ masculin (Mathématiques, Informatique) Système formel fondé sur le concept d'application qui forme un cadre pour manipuler des expressions appelées λ-expressions. On pourrait décrire le lambda-calcul (ou λ-calcul) comme “le premier et le plus simple des langages de programmation fonctionnels”. — (Lambda Calcul, Gabriel Scherer → lire en ligne) ==== Traductions ==== ==== Variantes orthographiques ==== λ-calcul === Prononciation === → Prononciation audio manquante. (Ajouter un fichier ou en enregistrer un avec Lingua Libre ) === Références === ==== Sources ==== === Voir aussi === Q242028 dans la base de données Wikidata Lambda-calcul sur l’encyclopédie Wikipédia