它是以数学逻辑为基础的函数式语言, 基于lambda演算.用英语怎么说？

它是以数学逻辑为基础的函数式语言, 基于lambda演算.

It is based on mathematical logic - based language function, based on the lambda calculus.

it

pron. 它，他，正好是所需的，事实[情况]；n. <美俚>傻瓜，笨蛋，<俚>绝妙的人，理想的东西，登峰造极；

例句
I suggest you leave it to an expert...
我建议你把它留给专家来解决。

is

vt.& vi. 是（be的三单形式；n. 存在；

例句
Bollinger 'RD' is a rare, highly prized wine.
博林格RD香槟是一种名贵的备受推崇的葡萄酒。

based

adj. 有根基的，有基地的；v. 立基于，以…为基础(base的过去式和过去分词)；

例句
...the doctrine of absolute monarchy based upon divine right.
以神权为基础的君主专制学说

on

prep. （表示方向）向，（表示对象）对，（表示位置）在…上，（表示时间）在…之时；adv. （放，穿，连接）上，向前，（继续）下去；adj. 活动着的情况，状态，使用着的，发生着的，计划中的；

例句
I spend a lot on expensive jewelry and clothing...
我花很多钱购买昂贵的首饰和衣服。

mathematical

adj. 数学的，精确的，绝对的，可能性极小的；

例句
NASA discovered a mathematical error in its calculations...
美国国家航空航天局在它的计算结果中发现了一个数学错误。

logic

n. 逻辑，逻辑学，（做某事的）道理，推理方法，威力，压力，强制（力）；adj. 逻辑的；

例句
...domestic appliances that also use fuzzy logic to mimic the way a person would do the job manually.
同样使用模糊逻辑模拟手动操作的家用电器

language

n. 语言，语言文字，表达能力，言语，语风，文风，文体，专门用语，术语；

例句
Pamela was unrepentant about her strong language and abrasive remarks.
对于自己的激烈言辞和恶语相向，帕梅拉并无悔意。

function

n. 功能，作用，应变量，函数，职务，重大聚会；vi. 有或起作用，行使职责；

例句
His function is vital to the accomplishment of the agency's mission.
要完成该机构的使命，他的作用至关重要。

the

art. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

lambda

n. 希腊字母的第 11个字；

例句
In this initial phase, nothing is inferred from arguments that are lambda expressions.
在初始阶段, 不能从lambda表达式参数推导出任何东西.

calculus

n. [医]结石，石，积石，牙垢，[数]运算，演算，微积分（学）；

例句
After studying differential calculus you will be able to solve these mathematical problems.
学了微积分之后,你们就能够解这些数学题了.