Cuch

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)