系统F和逻辑学家

系统F和逻辑学家之间的区别

系统F vs. 逻辑学家

系统F，也叫做多态lambda演算或二阶lambda演算，是有类型lambda演算。它由逻辑学家Jean-Yves Girard和计算机科学家John C. Reynolds独立发现的。系统F形式化了编程语言中的参数多态的概念。正如同lambda演算有取值于（rang over）函数的变量，和来自它们的粘合子（binder）；二阶lambda演算取值自类型，和来自它们的粘合子。作为一个例子，恒等函数有形如A→ A的任何类型的事实可以在系统F中被形式化为判断这里的α是类型变量。在Curry-Howard同构下，系统F对应于二阶逻辑。系统F，和甚至更加有表达力的lambda演算一起，可被看作Lambda立方体的一部分。. 逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.

之间系统F和逻辑学家相似

系统F和逻辑学家有（在联盟百科）0共同点。

上面的列表回答下列问题

什么系统F和逻辑学家的共同点。
什么是系统F和逻辑学家之间的相似性

系统F和逻辑学家之间的比较

系统F有16个关系，而逻辑学家有48个。由于它们的共同之处0，杰卡德指数为0.00% = 0 / (16 + 48)。

参考

本文介绍系统F和逻辑学家之间的关系。要访问该信息提取每篇文章，请访问：

联盟百科是组织像一个百科全书或字典中的概念图和语义网络。它给每一个概念及其关系的简单定义。

这是用作概念图的基础的大型在线心理地图。它是免费使用，每篇文章或文档可以下载。它是一个工具，资源或学习，研究，教育，学习或教学参考书，也可以由教师，教育工作者，学生或学生; 对于学术界：学校，小学，中学，高中，初中，大学，工科学历，大专，本科，硕士或博士学位; 对于论文，报告，项目，理念，文档，调查，汇总，或论文。这里的定义是，说明中，描述，或每显著在其上需要的信息的含义，并且它们的相关概念，作为词汇列表。可在中文, 英文, 西班牙文, 葡萄牙文, 日文, 法文, 德文, 意大利文, 波兰文, 荷兰文, 俄文, 阿拉伯文, 印地文, 瑞典文, 乌克兰文, 匈牙利文, 加泰罗尼亚文, 捷克文, 希伯来文, 丹麦文, 芬兰文, 印度尼西亚文, 挪威文, 罗马尼亚文, 土耳其文, 越南文, 한국어, 泰语, 希腊语, 保加利亚语, 克罗地亚语, 斯洛伐克语, 立陶宛语, 菲律宾人, 拉脱维亚语, 爱沙尼亚语和斯洛文尼亚语。更多语言很快。

所有的信息是从维基百科提取它的知识共享署名-相同方式共享 3.0协议下可用。

联盟百科不受维基媒体基金会的认可或附属。

Google Play、Android 和 Google Play 徽标均为 Google Inc. 的商标。

隐私政策