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:

CubecubecubingCUCHCuckoo's EggCULCuller-Fried SystemCUPID

Try this search on Wikipedia, OneLook, Google

Cuckoo's Egg

The Cuckoo's Egg

Nearby terms:

cubecubingCUCHCuckoo's EggCULCuller-Fried SystemCUPID

Try this search on Wikipedia, OneLook, Google


Loading