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].Last updated: 1994年12月02日
Nearby terms:
Cube ♦ cube ♦ cubing ♦ CUCH ♦ Cuckoo's Egg ♦ CUL ♦ Culler-Fried System ♦ CUPID
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading