斯特芬·Lösch;安德鲁·皮特斯（Andrew M.Pitts）。 具有标称Scott域的指称语义。 （英语） Zbl 1321.68202号 J.ACM公司 第61号第4条第27条第46页（2014年）.MSC公司：68号30 68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Lösch}和\textit{A.M.Pitts}，J.ACM 61，第4号，第27条，46页（2014；Zbl 1321.68202） 全文： 内政部 链接
马修·拉金。;安德鲁·皮特斯（Andrew M.Pitts）。 高阶类型函数编程中具有绑定器的归纳定义的上下文等价。 （英语） Zbl 1300.68017号 J.功能。程序。 23，第6期，658-700（2013）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts}，J.Funct。程序。23，第6号，658--700（2013；Zbl 1300.68017） 全文： 内政部
马修·拉金。;安德鲁·皮特斯（Andrew M.Pitts）。 编码没有新名称的抽象语法。 （英语） Zbl 1269.68043号 J.汽车。推理 49，第2期，115-140（2012）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts}，J.Autom。推理49，No.2，115--140（2012；Zbl 1269.68043） 全文： 内政部
安德鲁·皮特斯（Andrew M.Pitts）。 具有本地范围名称的结构递归。 （英语） Zbl 1271.68079号 J.功能。程序。 21，第3期，235-286（2011）.MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts}，J.Funct。程序。21，第3号，235--286（2011；Zbl 1271.68079） 全文： 内政部
拉纳德·A·克鲁斯顿。;安德鲁·皮特斯（Andrew M.Pitts）。 名义上的等式逻辑。 （英语） Zbl 1277.68043号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，223-257（2007）。MSC公司：68甲15 03B70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Clouston}和\textit{A.M.Pitts}，电子。注释Theor。计算。科学。172、223--257（2007；Zbl 1277.68043） 全文： 内政部
马克·辛维尔。;安德鲁·M·皮茨。 关于新鲜度的一元语义。 （英语） Zbl 1077.68050号 西奥。计算。科学。 342，第1期，28-55（2005）.MSC公司：68问题55 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Shinwell}和\textit{A.M.Pitts}，Theor。计算。科学。342，编号1，28--55（2005；Zbl 1077.68050） 全文： 内政部
城市，基督教;安德鲁·皮特斯（Andrew M.Pitts）。;默多克·J·加贝。 名义统一。 （英语） Zbl 1078.68140号 西奥。计算。科学。 323，编号1-3，473-497（2004）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Urban}等人，Theor。计算。科学。323，编号1--3，473--497（2004；Zbl 1078.68140） 全文： 内政部
安德鲁·皮特斯（Andrew M.Pitts）。 名义逻辑，一种关于名称和约束的一阶理论。 （英语） Zbl 1056.03014号 Inf.计算。 186，第2期，165-193（2003）.MSC公司：03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts}，《信息计算》。186，编号2165-193（2003年；兹bl 1056.03014） 全文： 内政部