×
卡洛·安吉利;罗伯特·哈珀;托德·威尔逊

计算高维类型理论。 （英语） Zbl 1380.68112号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。680-693 (2017).

引用于13文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03年11月15日 高阶逻辑；类型理论（MSC2010）
03B70号 计算机科学中的逻辑
03G30型 范畴逻辑，拓扑
68问题55 计算理论中的语义学

关键词：

同伦型理论;逻辑关系

引文：

Zbl 1298.03002号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Angiuli｝等人，在：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）。680--693（2017；Zbl 1380.68112）
全文： DOI程序