他,自强 有序代数的另一个定义。 (英语) Zbl 0910.68146号 J.计算。科学。Technol公司。 13,第6号,547-551(1998).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.He},J.计算。科学。Technol公司。13,第6号,547--551(1998;Zbl 0910.68146) 全文: 内政部
瞿玉忠;王志坚;徐家福 简单埃菲尔模型的指称语义。 (英语) Zbl 0837.68065号 J.计算。科学。Technol公司。 10,第3期,214-226(1995).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Qu}等人,《计算杂志》。科学。Technol公司。10,编号3,214--226(1995;Zbl 0837.68065) 全文: 内政部
李伟 程序开发的类型理论方法。 (英语) 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) 全文: 内政部