CUCH

CUCH

CUrry-CHurch.

Lambda-calculus

["A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Dana Scott, Oxford U 1969].

["Introduction to the CUCH", C. Bohm et al, in Automata Theory, E.R. Caianiello ed, A-P 1966, pp.35-65].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in periodicals archive ?
[18.] Kozlowski P, Cuch B, Kozlowska M, Kozlowska K, Jedrzejewska B.
Magnaporthe oryzae is the correct name for the isolates linked to the rice blast (Cuch and Kohn, 2002).
We also thank the fishing cooperatives Nohoch Cuch S.C.L., S.C.P.P., and Pescadores de Rio Lagartos S.C.D.R.L, S.C.P.P.
The book, which is aimed at older children or adults with a "silly" sense of humour, tells the story of a dog called Cuch who is brought into a family who have a passionate love of rock music.
E verdadeiro pensar que Arabia ou Cuch "evocava admiracao e sentimento de imensa distancia".
I only know two words in Mam: "cuch" is pig, and "petz," like the name of my town, is duck.
La lengua paez de Colombia tiene 5 terminos de colores basicos: chijme (blanco), cuch (negro), beg (rojo), lem (amarillo) y sein (azul y verde).
Os ydych chi'n byw yn sir Gaerfyrddin, neu yn sir Benfro, yng Ngwynedd neu sir Fn, gallwch ddangos i'r plant fod y pethau hyn wedi digwydd ar garreg y drws, ac yn well na hynny, gallwch fynd i leoliadau a enwir yn y straeon - Arberth, Maentwrog, Harlech, Cwm Cuch a llawer mwy - er mwyn i'r straeon ddod yn fyw.
Quiros R, Baigun CRM, Cuch S, Delfino R, de Nichilo A, Guerrero C, Marinone MC, Menu Marque S, Scapini MC (1988) Evaluacion del Rendimiento Pesquero Potencial de la Republica Argentina I: Datos 1.
He expressed these views during a meeting with the Germany's special representative for Afghanistan and Pakistan, Burd Mootsleburg and German Ambassador to Pakistan Mekhile Cuch here on Friday.