H·伊纳萨里泽。 卡斯帕罗夫双变理论的普适性质。 (英语) Zbl 0990.19004号 牛市。格鲁吉亚学院。科学。 156,第2期,185-189(1997).MSC公司:19公里56 46升80 PDF格式BibTeX公司 XML格式引用 \textit{H.Inassaridze},公牛。格鲁吉亚学院。科学。156,第2号,185--189(1997;Zbl 0990.19004)
格林·温斯克尔 从开放地图对互模拟的操作理解。 (英语) Zbl 0925.68290号 Andrew Gordon(编辑)等人,HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学,加利福尼亚州帕洛阿尔托,美国,1997年12月8日至12日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。10,第5号电子文件(1997年)。MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel},in:霍OTS II。关于语义中的高阶运算技术的第二次研讨会。斯坦福大学,加利福尼亚州帕洛阿尔托,美国,1997年12月8-12日。阿姆斯特丹:爱思唯尔。第5号电子文件(1997;Zbl 0925.68290) 全文: 链接
吉安·卢卡·卡塔尼;伊恩·斯塔克;格林·温斯克尔 \(\pi\)-演算的预处理模型。 (英语) Zbl 0884.68078号 Moggi,Eugenio(编辑)等人,《范畴理论与计算机科学》。1997年9月4日至6日,第七届国际会议,CTCS’97,意大利圣玛格丽塔利古尔。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。1290, 106-126 (1997).MSC公司:68问题55 2010年第68季度 18层20 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Cattani}等人,Lect。注释计算。科学。1290、106-126(1997年;Zbl 0884.68078)