格林·温斯克尔 从开放地图中对互刺激的操作理解。 (英语) 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\)-演算的预处理模型。 (英语) 兹比尔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。注释计算。科学。1290106-126(1997年;兹bl 0884.68078)