吉尔·巴特;奥利维·蓬斯 依赖类型理论中的类型同构和证明重用。 （英语） Zbl 0978.68044号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日，作为欧洲软件理论和实践联合会议的一部分，在意大利热那亚举行了第四届国际会议，FOSSACS 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 57-71 (2001). 摘要：基于类型同构的计算解释这一新思想，我们提出了证明重用的理论基础。关于整个系列，请参见[Zbl 0960.00057号]. 引用于8文件 理学硕士： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 软件：乐高;塑料 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}和\textit{O.Pons}，莱克特。注释计算。科学。2030年，57-71（2001年；Zbl 0978.68044） 全文： 链接