Dictionary De - En
De - Es
De - Pt| English Dictionary: CUCH | by the DICT Development Group |
| 1 result for CUCH | |
| From The Free On-line Dictionary of Computing (15Feb98) [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) | |
