cuch

from The Free On-line Dictionary of Computing (8 July 2008)

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].

   (1994-12-02)