CUCH

CUrry-CHurch

Lambda-calculus.

"A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", Dana Scott, Oxford University, 1969. "Introduction to the CUCH", C. Bohm et al, in Automata Theory, E. R. Caianiello ed, Academic Press, 1966, pp.35-65.