网站首页 词典首页
It is based on mathematical logic - based language function, based on the lambda calculus.
它是以数学逻辑为基础的函数式语言, 基于lambda演算.
互联网
λ 演算???
英汉翻译词典包含4367426条英汉汉英翻译词条，基本涵盖了全部常用英语单词及常用语的翻译及用法，是英语学习的有利工具。