You are here: irt.org | FOLDOC | CUCH
CUrry-CHurch.
["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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL