多米尼克·达根 高阶替换。 (英语) Zbl 1003.68024号 Inf.计算。 164,第1期,1-53页(2001年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Duggan},信息计算。164,第1号,1--53(2001;Zbl 1003.68024) 全文: 内政部 链接
阿斯皮纳尔D。;Compagnoni,A.公司。 子类型依赖类型。 (英语) 兹比尔0989.68020 西奥。计算。科学。 266,编号1-2,273-309(2001).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinal}和\textit{A.Compagnoni},Theor。计算。科学。266,编号1--2,273--309(2001;Zbl 0989.68020) 全文: 内政部
李伟 程序开发的类型理论方法。 (英语) Zbl 0725.68026号 J.计算。科学。Technol公司。 209-224(1990)第3期第5页.MSC公司:68号01 03B40型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Li},J.计算。科学。Technol公司。5,第3号,209--224(1990;Zbl 0725.68026) 全文: 内政部