× Annonce

Chers usagers du portail lexical du CNRTL,

Après vingt ans de bons et loyaux services, la version actuelle du portail sera prochainement remplacée par une nouvelle version au 1er juillet 2026. Cette nouvelle version apporte une refonte complète de l'interface adaptée à tous les supports (ordinateurs, tablettes, smartphones) et inclut également de nouvelles ressources.

Vous pouvez d'ores et déjà vous familiariser avec la nouvelle version ici : Portail lexical

En vous remerciant,

L'équipe du CNRTL
Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
combinateur n.m. TECHN. GAZ - Lex.[75], v. 1900 ; FEW (2, 937b), Rs, GLLF, PR[77], 1907, Lar. ; TLF, cit. Soulier, 1916.
1873 - «Combinateur, m. (gaz.) ; der Combinator ; Compounder.» Tolhausen, Dict. technologique fr., angl. et all., 815 (Tauchnitz) - P.E.
combinateur n.m. LING. - ø t. lex. réf. ; absent TLF.
1976 - «On constate que l'action du combinateur C consiste à permuter les arguments de f. On retrouvera ce combinateur C que Saumjan appelle 'converseur', au chapitre V. Les combinateurs ont été introduits pour la première fois en 1920 par M. Schonfinkel. Ils ont été développés par H.B. Curry [...] Les combinateurs sont utilisés pour construire des systèmes formels fondés sur une notion abstraite d'opération.» Z. Guentcheva-Desclés, Présentation critique du modèle applicationnel de S.K. Saumjan, in Documents de linguistique quantitative, numéro 30, 67 - Y.G.