Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
类型理论
Wikipedia 维基中文 免费百科全书
Download this dictionary
类型论
在最广泛的层面上,
类型论
是关注把实体分类到叫做
类型
的搜集中的
数学
和
逻辑
分支。在这种意义上,它与
类型的形而上学概念
有关。现代类型论在部分上是响应
罗素悖论
而发明的,并在
伯特兰·罗素
和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在
计算机科学
分支中的
编程语言
理论中,
类型论
提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对
编程语言
的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如
有类型 lambda 演算
的研究。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许