browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
cuch


cuch


  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [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)