Police de caractères:

Surligner les objets textuels
Colorer les objets :
 
 
 
 
 
 

Entrez une forme
options d'affichagecatégorie :
converseur 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.