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)
Nearby terms:
Cube « cube « cubing « CUCH » Cuckoo's Egg »
CUL » Culler-Fried System
Cuckoo's Egg
The Cuckoo's Egg
Nearby terms:
cube « cubing « CUCH « Cuckoo's Egg » CUL »
Culler-Fried System » CUPID
|