lambda calcul
np. m.
[mathématique] Branche de la logique développée par Church Alonzo à la fin des années 1930. Le problème est d'étudier les fonctions lorsqu'elles sont appliquées à leurs propres arguments. Les langage fonctionnels sont des extensions du lambda calcul (on y ajoute les constantes et les types).
S'écrit avec un lambda grec, normalement.
Article lié à celui-ci : Haskell
Articles voisins : lacet - lâcher la rampe - LAD - LADT - lag < > lame - lamer - LAMP - LAN - lance-flammes
(13-06-2000).
© Le Jargon Français v 3.3.165 - 18/11/2003
Qui sommes nous - infos légales - contact - liens - plan du site
Copyright © 2004 infoclick - 05 62 07 79 73 - Hôtel d'entreprise / ZI du Pont Peyrin 32600 Isle Jourdain
