资料来源 : Free On-Line Dictionary of Computing

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)