胡安·埃迪；安德烈斯·维索；爱德华多·博内利 针对路径多态性的高效类型检查。 （英语） Zbl 1433.68094号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第6条，第23页（2018年）。MSC公司：68号30 03B40型 68甲18 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Edi}等人，LIPIcs——莱布尼茨国际程序。通知。69，第6条，第23页（2018；兹bl 1433.68094） 全文： 内政部 arXiv公司
亚历山大·鲍姆加特纳；特默尔库西亚；约尔迪·利维；马图·维拉雷特 线性时间内的高阶模式反统一。 （英语） Zbl 1407.68089号 J.汽车。推理 58，第2期，293-310（2017）。MSC公司：68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Baumgartner}等人，J.Autom。推理58，No.2，293--310（2017；Zbl 1407.68089） 全文： 内政部
乔安·阿普伊姆；布鲁诺·C·d·S·奥利维拉。；史志远 不相交多态性。 （英语） Zbl 1485.68052号 Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10201, 1-28 (2017).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Alpuim}等人，Lect。票据计算。科学。10201，1--28（2017；Zbl 1485.68052） 全文： 内政部
阿明，纳达；塞缪尔·格吕特；马丁·奥德斯基；蒂亚克·隆普夫；斯图基，桑德罗 依赖对象类型的本质。 （英语） Zbl 1343.68046号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，249-272（2016）。MSC公司：68甲18 03B70号 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amin}等人，Lect。票据计算。科学。9600，249--272（2016；Zbl 1343.68046） 全文： 内政部 链接
詹姆斯·莱尔德 有界多态性的游戏语义。 （英语） Zbl 1475.68065号 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 55-70 (2016).MSC公司：68甲18 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Laird}，莱克特。票据计算。科学。9634，55-70（2016；Zbl 1475.68065） 全文： 内政部 链接
迈克尔·格林伯格；本杰明·皮尔斯。；斯蒂芬妮·威里奇 合同已明确。 （英语） Zbl 1311.68044号 J.功能。程序。 22，第3期，225-274（2012）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Greenberg}等人，J.Funct。程序。22，第3号，225--274（2012；Zbl 1311.68044） 全文： 内政部
安德烈亚·阿斯佩蒂；威尔默·里奇奥蒂；克劳迪奥·萨塞尔多蒂·科恩；恩里科·塔西 Matita交互式定理证明程序中编程语言的形式元理论。 （英语） Zbl 1260.68363号 J.汽车。推理 49，第3期，427-451（2012）。MSC公司：68吨15 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}等人，J.Autom。推理49，No.3，427--451（2012；Zbl 1260.68363） 全文： 内政部
朱利奥·曼佐内托；保罗·特兰基利 通过矫顽子演算对\（\mathsf{ML}^{\mathsf F}\）进行强正规化。 （英语） Zbl 1238.03029号 西奥。计算。科学。 417, 74-94 (2012)。MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛G.Manzonetto｝和\textit｛P.Tranquilli｝，Theor。计算。科学。417、74-94（2012年；Zbl 1238.03029） 全文： 内政部
彼得·休厄尔；弗朗西斯科·扎帕·纳德利；斯科特·欧文斯；吉尔斯·佩斯金；托马斯·里奇；萨卡，苏斯米特；斯特尼萨，洛克 Ott：对工作语义的有效工具支持。 （英语） Zbl 1185.68201号 J.功能。程序。 20，第1期，71-122（2010）。MSC公司：68甲18 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Sewell}等人，J.Funct。程序。20，编号1，71-122（2010；Zbl 1185.68201） 全文： 内政部
Vytiniotis，迪米特里奥斯；斯蒂芬妮·威里奇 自由定理和运行时类型表示。 （英语） Zbl 1316.68043号 Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，357-373（2007）。MSC公司：68号30 68甲18 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Vytiniotis}和\textit{S.Weirich}，电子。注释Theor。计算。科学。173、357--373（2007年；Zbl 1316.68043） 全文： 内政部
达里奥·科拉佐；乔治·盖利 内核Fun中的子类型递归和参数多态性。 （英语） Zbl 1156.68331号 Inf.计算。 198，第2期，71-147（2005）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛D.Colazzo｝和\textit｛G.Ghelli｝，信息计算。198，第2号，第71-147条（2005年；Zbl 1156.68331） 全文： 内政部
Atsushi Igarashi；本杰明·皮尔斯。 虚拟类型的基础。 （英语） Zbl 1012.68042号 Inf.计算。 175，第1期，34-49（2002）。MSC公司：第68页第19页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Igarashi}和\textit{B.C.Pierce}，Inf.Comput。175，第1号，34-49（2002；Zbl 1012.68042） 全文： 内政部
吉田、Nobuko；马修·轩尼诗 为进程分配类型。 （英语） Zbl 1009.68085号 Inf.计算。 174，第2期，第143-179页（2002年）。MSC公司：68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}和\textit{M.Hennessy}，Inf.Comput。174，编号2143-179（2002年；Zbl 1009.68085） 全文： 内政部 链接
马丁·霍夫曼；本杰明·皮尔斯。 类型析构函数。 （英语） Zbl 1026.68022号 Inf.计算。 172，第1号，29-62（2002）。MSC公司：第68页第19页 68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{B.C.Pierce}，Inf.Compute。172，编号1，29--62（2002；Zbl 1026.68022） 全文： 内政部 链接
谢尔盖·索洛维耶夫；罗朝晖 强制子类型中的强制完成和保守性。 （英语） Zbl 1011.03017号 Ann.纯粹应用。逻辑 113，编号1-3，297-322（2002）。 审核人：蒂埃里·科昆德（哥德堡） MSC公司：03B70号 35楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Soloviev}和\textit{Z.Luo}，Ann.Pure Appl。逻辑113，No.1--3，297--322（2002；Zbl 1011.03017） 全文： 内政部
Jerzy Tiuryn 多态类型子类型的序列演算。 （英语） Zbl 1007.03011号 Inf.计算。 164，第2期，345-369（2001）。MSC公司：03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn}，Inf.计算。164，编号2，345--369（2001；Zbl 1007.03011） 全文： 内政部 链接
保罗·巴尔丹；乔治·盖利；亚历山德拉·拉斐塔 有界量化的基本理论。 （英语） Zbl 1045.68524号 Inf.计算。 153，第2期，173-237（1999）。MSC公司：68甲18 03B40型 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。153，第2号，173--237（1999；Zbl 1045.68524） 全文： 内政部
乔治·盖利；本杰明·皮尔斯 有界存在和最小类型。 （英语） Zbl 0909.03017号 西奥。计算。科学。 193，第1-2号，75-96（1998）。 审核人：勒内·戴维（Le Bourget du Lac） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Ghelli}和\textit{B.Pierce}，Theor。计算。科学。193，编号1--2，75-96（1998；Zbl 0909.03017） 全文： 内政部
本杰明·皮尔斯；马丁·斯特芬 高阶子类型。 （英语） Zbl 0903.68020号 西奥。计算。科学。 176，编号1-2，235-282（1997）; 更正同上，184，第1-2号，247（1997）。MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Pierce}和\textit{M.Steffen}，Theor。计算。科学。176，编号1--2，235-282（1997；Zbl 0903.68020） 全文： 内政部
乔治·盖利 有界系统的终止：一个完整的证明。 （英语） Zbl 0892.68013号 Inf.计算。 139，第1号，39-56（1997）。MSC公司：68甲15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Ghelli}，信息计算。139，编号1，39-56（1997；Zbl 0892.68013） 全文： 内政部
朱塞佩·卡斯塔尼亚 微积分中参数和“特殊”二阶多态性与子类型的集成。 （英语） Zbl 0852.68011号 正式Asp。计算。 8，第3期，247-293（1996）。MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}，正式Asp。计算。8，第3号，247--293（1996；Zbl 0852.68011） 全文： 内政部
乔治·盖利 类型检查的分歧。 （英语） Zbl 0874.68031号 西奥。计算。科学。 139，编号1-2，131-162（1995）。MSC公司：68甲15 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{G.Ghelli}，Theor。计算。科学。139，编号1--2，131-162（1995；Zbl 0874.68031） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利 命令式对象演算。 （英语） Zbl 1496.68098号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。915, 471-485 (1995).MSC公司：68号30 03B70号 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{L.Cardelli}，莱克特。票据计算。科学。915471-485（1995年；Zbl 1496.68098） 全文： 内政部
马丁·阿巴迪；卢卡·卡德利；居里，P.-L。 形式参数多态性。 （英语） Zbl 0801.68015号 西奥。计算。科学。 121，编号1-2，9-58（1993）。MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}等人，Theor。计算。科学。121，编号1--2，9-58（1993；Zbl 0801.68015） 全文： 内政部
皮埃尔·卢伊斯·居里；乔治·盖利 子类型+扩展性：\（\beta\eta\）top reduction in \（\mathrm{F}（F）_\leq\）。 （英语） Zbl 1493.68103号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。526, 731-749 (1991).MSC公司：68号30 03B25号 03B40型 18日第15天 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和\textit{G.盖利}，莱克特。票据计算。科学。526、731至749（1991年；兹bl 1493.68103） 全文： 内政部