CUCH
CUCH
Lambda-calculus
["A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", DanaScott, Oxford U 1969].
["Introduction to the CUCH", C. Bohm et al, in AutomataTheory, E.R. Caianiello ed, A-P 1966, pp.35-65].
| 单词 | cuch |
| 释义 | CUCHCUCHLambda-calculus ["A Type-Theoretical Alternative to CUCH, ISWIM, OWHY", DanaScott, Oxford U 1969]. ["Introduction to the CUCH", C. Bohm et al, in AutomataTheory, E.R. Caianiello ed, A-P 1966, pp.35-65]. |
| 随便看 |
英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。