尼古拉·博塔；努里亚·布雷德；帕特里克·詹森；蒂姆·里希特 扩展相等保存和验证的泛型编程。 （英语） Zbl 1522.68119号 J.功能。程序。 31，论文编号e24，24 p.（2021）.MSC公司：68甲18 03B38型 03B70号 18个C20 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{N.Botta}等人，J.Funct。程序。31，论文编号e24，24 p.（2021；Zbl 1522.68119） 全文： DOI程序 arXiv公司
雅克·卡雷特；罗素·奥康纳 理论演示组合器。 （英语） 兹比尔1360.68802 Johan Jeuring等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。计算机科学课堂讲稿7362。《人工智能课堂讲稿》，202-215（2012）。MSC公司：68立方英尺 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Carette}和\textit{R.O'Connor}，莱克特。注释计算。科学。7362202-215（2012；Zbl 1360.68802） 全文： DOI程序 arXiv公司
卢茨·施罗德 部分等式逻辑的分类。 （英语） Zbl 1270.03147号 Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，305-322（2003）。MSC公司：03G30型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，电子。注释Theor。计算。科学。69、305-322（2003年；Zbl 1270.03147） 全文： DOI程序
安德烈亚·科拉迪尼；法比奥·加杜奇 类术语结构的分类重写。 （英语） Zbl 1263.68070号 Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，108-121（2002）。MSC公司：2012年第68季度 18立方厘米10 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci}，电子。注释Theor。计算。科学。51、108-121（2002年；Zbl 1263.68070） 全文： DOI程序
安德烈亚·科拉迪尼；法比奥·加杜奇 循环结构的重写：操作描述和范畴描述之间的等价性。 （英语） Zbl 0940.18002号 西奥。通知。申请。 33，No.4-5，467-493（1999）.MSC公司：18立方厘米10 2012年第68季度 18D05日 18日第10天 第68季度10 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci}，Theor。通知。申请。33，编号4--5，467--493（1999；Zbl 0940.18002） 全文： DOI程序 欧洲DML 链接
巴纳赫，R。 使用运算重写术语图和垃圾收集。 （英语） Zbl 0817.18006号 西奥。计算。科学。 131，第1号，29-94（1994）. 审核人：C.B.Jay（悉尼） MSC公司：18立方厘米10 68问题55 2012年第68季度 18A30型 PDF格式BibTeX公司 XML格式引用 \文本{R.Banach}，Theor。计算。科学。131，编号1，29--94（1994；Zbl 0817.18006） 全文： DOI程序