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