Un jour en vaut trois pour qui fait chaque chose en son temps [Sagesse populaire asiatique]

Besoin d'une définition rapide dans le domaine informatique ?
(la , le ...)
 retour accueil

 


Recherche de


par : aboul le 28/06/02
mail : aboul@free.fr

MATH 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. (13-06-2000). (source: Le Jargon Français license GFDL sur linux-france.org, (c) 2001 Roland Trique)

Info. Culture

Pour passer à un niveau de recherche plus large pour :


Cliquez sur le bouton du navigateur qui permet d'afficher la page précédente, c'est le plus rapide pour retourner à la page précédente.
(Cela va sans dire, mais ça va mieux en le disant...)


  Powered by aboul v3.6.6            retour début de page

Des remarques?... aboul@free.fr

Copyright (c) 2000-2017 (aboul.free.fr/inf) : contenu
Copyright (c) 2000-2017 (aboul.free.fr) : application