Twenty-five years of constructive type theory.
Twenty-five years of constructive type theory.
复制标题
建构型理论二十五年。
DOI：
10.1093/oso/9780198501275.001.0001
复制
发表时间：
1998
影响因子：
0.3
通讯作者：
J. S. Smith
中科院分区：
文献类型：
--
作者：
G. Sambin;J. S. Smith
佩尔·马丁-L关于建构型理论发展的工作在逻辑和数学基础领域具有重大意义。它还具有更广泛的哲学意义，在计算科学和语言学等领域有着重要的应用。这本书汇集了研究人员的贡献，他们的工作建立在马丁-Löf在过去25年里发展的理论之上。除了庆祝学科诞生的周年纪念日外，它还涵盖了许多不同的领域，这些领域现在受到类型理论的影响。它是当前活动领域的宝贵记录，但也包含了NG de Bruijn和William Tait的贡献，他们都是该学科早期发展的重要人物。第一次出版的还有佩尔·马丁-L的早期论文之一。
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from NG de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.