类型论

在最广泛的层面上,类型论(英语:type theory)是关注把实体分类到叫做类型的搜集中的数学和逻辑分支。在这种意义上,它与类型的形而上学概念有关。现代类型论在部分上是响应罗素悖论而发明的,并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。在计算机科学分支中的编程语言理论中,类型论提供了设计分析和研究类型系统的形式基础。实际上,很多计算机科学家使用术语“类型论”来称呼对编程语言的类型语言的形式研究,尽管有些人把它限制于对更加抽象的形式化如有类型lambda演算的研究。

2024第五届电气工程,机械工程与自动化国际会议(ICEEMEA2024)涵盖主题包括但不仅限于类型论等领域,会议组委会诚邀全球相关领域的学者、专家参加此次国际会议,就相关热点问题进行探讨、交流,共同促进科学研究的进步与发展。

会议征稿

2024第五届电气工程,机械工程与自动化国际会议(ICEEMEA2024)诚邀学者、专家提交他们的研究摘要、论文并参会交流。

ICEEMEA2024 的摘要与全文投稿通道已开放,欢迎您提交摘要和全文:

摘要出版

会议接受英文摘要投稿,摘要录用后,将以会议摘要集的形式由 Science Publishing Group (SciencePG) 出版。

全文出版

论文全文被录用后,将根据主题在线出版在 Science Publishing Group (SciencePG) 的相关期刊上。合作期刊可被部分国外的检索机构检索,如WorldCat, CrossRef, Electronic Journals Library, Zeitschriftendatenbank, EZB, ResearchBib, Polish Scholarly Bibliography, Wissenschaftszentrum Berlin等。

© 2015-2024第五届电气工程,机械工程与自动化国际会议 版权所有