VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
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)