钱振宇 另一个关于有序代数规范的参数化。 （英语） Zbl 0938.68721号 J.计算。系统。科学。 49，第3期，620-666（1994）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，J.计算。系统。科学。49，第3620-666号（1994年；兹bl 0938.68721） 全文： 内政部
钱振宇；托比亚斯·尼普科 lambda结石的归约和统一与亚型的一般概念。 （英语） Zbl 0808.03008号 J.汽车。推理 12，第3号，389-406（1994）.MSC公司：03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}和\textit{T.Nipkow}，J.Autom。推理12，No.3，389--406（1994；Zbl 0808.03008） 全文： 内政部
钱振宇 具有子类型的高阶类型的代数语义。 （英语） Zbl 0790.68079号 学报信息。 30，第6号，569-607（1993）.MSC公司：68问题65 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，《学报》第30期，第6期，第569-607页（1993；Zbl 0790.68079） 全文： 内政部
钱振宇 存在线性浅层代数方程时的二阶统一（扩展抽象）。 （英语） Zbl 1507.68076号 Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。516, 448-453 (1991).MSC公司：68甲18 03B40型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Qian}，莱克特。票据计算。科学。516448-453（1991年；Zbl 1507.68076） 全文： 内政部
托比亚斯·尼普科；钱振宇 模高阶\（E\）-统一。 （英语） Zbl 1503.68144号 罗纳德·V·书（编辑），重写技术与应用。第四次国际会议，RTA-91，意大利科莫，1991年4月10日至12日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。488, 200-214 (1991).MSC公司：第68季度第42季度 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow}和\textit{Z.Qian}，莱克特。票据计算。科学。488200-214（1991年；兹比尔1503.68144） 全文： 内政部