R.F.布鲁特。;P.J.斯科特。 一个非交换的完全完备性定理。(扩展摘要)。 (英语) Zbl 0908.03048号 Girard,Jean-Yves(编辑)等人,《线性逻辑》96。会议论文,庆应义塾大学,日本东京,1996年3月28日至4月2日。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第3、11页(1996年)。MSC公司:05年3月 03B20型 18A23型 PDF格式BibTeX公司 XML格式引用 \textit{R.F.Blute}和\textit{P.J.Scott},在:线性逻辑96中。会议论文,庆应义塾大学,日本东京,1996年3月28日至4月2日。阿姆斯特丹:爱思唯尔。第11页(1996年;Zbl 0908.03048) 全文: 链接
吉安·伊夫·吉拉德;安德烈·斯克洛夫;菲利普·斯科特。 范式和无裁剪证明是自然变换。 (英语) Zbl 0753.03024号 计算机科学逻辑,Proc。研讨会,伯克利/加利福尼亚州(美国)1989年,出版。,数学。科学。Res.Inst.21217-241(1992年)。 审核人:G.Mints(斯坦福) MSC公司:05年3月 18A23型 03B20型 68问题55 18日第15天 03B70型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard}等人,《计算机科学的逻辑》。1989年11月13日至17日在美国加利福尼亚州伯克利市数学科学研究所举行的研讨会论文集。217--241(1992年;Zbl 0753.03024)
菲利普·斯科特。 功能多态性和语义参数。 (英语) Zbl 0704.03047号 图表 22, 77-90 (1989). 审核人:K.I.罗森塔尔 MSC公司:03G30型 18日第15天 03B40型 18对25 18A22型 18A23型 PDF格式BibTeX公司 XML格式引用 \textit{P.J.Scott},图表22,77--90(1989;Zbl 0704.03047) 全文: 欧洲DML