卢建国;徐家福 基于类型理论的类比程序推导。 (英语) Zbl 0770.68091号 西奥。计算。科学。 113,第2期,259-272(1993).MSC公司:60年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}和\textit{J.Xu},Theor。计算。科学。113,第2号,259--272(1993;Zbl 0770.68091) 全文: 内政部
迪迪埃加尔米奇 建构型理论中的程序开发。 (英语) Zbl 0760.68012号 西奥。计算。科学。 94,第2期,237-259(1992).MSC公司:68号01 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{D.Galmiche},Theor。计算。科学。94,第2号,237--259(1992;Zbl 0760.68012) 全文: 内政部