马蒂奥·莫西奥;朱塞佩·隆戈;约翰·斯图尔特 有效因果关系的可计算闭包表达式。 （英语） Zbl 1400.92008年 J.西奥。生物。 257，编号3，489-498（2009）.MSC公司：92B05型 68甲18 03B40型 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mossio}等人，J.Theor。生物学257，第3期，489--498（2009；Zbl 1400.92008） 全文： 内政部 哈尔
达里奥·科拉佐;乔治·盖利 内核Fun中的子类型递归和参数多态性。 （英语） Zbl 1156.68331号 Inf.计算。 198，第2期，71-147（2005）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Colazzo}和\textit{G.Ghelli}，Inf.Compute。198，第2号，第71-147条（2005年；Zbl 1156.68331） 全文： 内政部
克劳迪奥·拉索五世。 模块的类型。 （英语） Zbl 1266.68086号 理论计算机科学电子笔记60.阿姆斯特丹：爱思唯尔；爱丁堡：爱丁堡大学计算机科学系（Diss.1998）。第421页。，仅电子版（2004）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.V.Russo}，模块类型。阿姆斯特丹：爱思唯尔；爱丁堡：爱丁堡大学计算机科学系（Diss.1998）（2004；Zbl 1266.68086） 全文： 链接
阿德里亚娜·孔皮诺尼;戈根，海尔夫登 高阶子类型的类型化操作语义。 （英语） Zbl 1055.68075号 Inf.计算。 184，第2期，242-297（2003）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni}和\textit{H.Goguen}，信息计算。184，第2号，242--297（2003；Zbl 1055.68075） 全文： 内政部
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） 全文： 内政部
马丁·霍夫曼;本杰明·C·皮尔斯。 类型析构函数。 （英语） 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） 全文： 内政部 链接
布鲁斯（Kim B.Bruce）。;卢卡·卡德利;本杰明·皮尔斯。 比较对象编码。 （英语） Zbl 1045.68528号 Inf.计算。 155，编号1-2，108-133（1999）.MSC公司：68甲19 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人，《信息计算》。155，编号1--2，108-133（1999；Zbl 1045.68528） 全文： 内政部
保罗·巴尔丹;乔治·盖利;亚历山德拉·拉斐塔 有界量化的基本理论。 （英语） Zbl 1045.68524号 Inf.计算。 153，第2173-237号（1999年）.MSC公司：68甲18 03B40型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人，《信息计算》。153，第2号，173--237（1999；Zbl 1045.68524） 全文： 内政部
弗莱明·尼尔森;尼尔森，Hanne Riis 从CML到它的进程代数。 （英语） Zbl 0873.68131号 西奥。计算。科学。 155，第1号，179-219（1996）.MSC公司：68问题55 68甲15 2010年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}和\textit{H.R.尼尔森，Theor。计算。科学。155，No.1，179--219（1996；Zbl 0873.68131） 全文： 内政部
朱塞佩·卡斯塔尼亚 微积分中参数和“特殊”二阶多态性与子类型的集成。 （英语） Zbl 0852.68011号 正式Asp。计算。 8，第3期，247-293（1996）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}，正式Asp。计算。8，第3247-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） 全文： 内政部
布鲁斯（Kim B.Bruce）。;乔纳森·克拉布特里;杰拉尔德·卡纳帕西 TOOPLE的操作语义：一种静态类型的面向对象编程语言。 （英语） Zbl 1509.68033号 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 603-626 (1994).MSC公司：68甲15 68甲18 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Bruce}等人，Lect。注释计算。科学。802、603--626（1994年；Zbl 1509.68033） 全文： 内政部
布鲁斯（Kim B.Bruce）。 一种典型的面向对象编程语言：设计、静态类型和语义。 （英语） 兹伯利0817.68037 J.功能。程序。 4，第2期，127-206（1994）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \发短信{K.B.Bruce}，J.Funct。程序。4，编号2，127--206（1994；Zbl 0817.68037） 全文： 内政部
朱塞佩·隆戈 类型作为参数。 （英语） Zbl 1497.68115号 Gaudel，Marie-Claude（编辑）等人，《TAPSOFT’93：软件开发的理论与实践》。第四届CAAP/FASE国际联席会议，法国奥赛，1993年4月13日至17日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。668, 658-670 (1993).MSC公司：68号30 03B38型 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}，莱克特。注释计算。科学。668658-670（1993年；Zbl 1497.68115） 全文： 内政部
朱塞佩·隆戈;凯萨琳·米尔斯特德;谢尔盖·索洛维耶夫 多态（λ）演算中的一般性定理和参数。 （英语） Zbl 0793.03008号 西奥。计算。科学。 121，编号1-2，323-349（1993）. 审核人：S.Martini（比萨） MSC公司：03B40型 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}等人，Theor。计算。科学。121，编号1--2，323--349（1993；Zbl 0793.03008） 全文： 内政部 链接
民意调查，E。;海默里克，C。;H.M.M.艾克尔德。 具有递归类型和子类型的二阶lambda演算的CPO模型。 （英语） Zbl 0788.03016号 RAIRO，通知。塞奥尔。应用。 27，第3期，221-260（1993）. 审核人：N.Bernard（法国波尔多） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{E.Poll}等人，RAIRO，Inform。塞奥尔。申请。27，第3号，221--260（1993；Zbl 0788.03016） 全文： 内政部 欧洲DML
罗索里尼，G。 Quest的专家模型。 （英语） Zbl 1518.68035号 Brookes，Stephen（编辑）等人，《编程语义的数学基础》。第七届国际会议，1991年3月25日至28日，美国宾夕法尼亚州匹兹堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。598, 436-445 (1992).MSC公司：68甲15 03G30型 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Rosolini}，莱克特。注释计算。科学。598436-445（1992年；Zbl 1518.68035） 全文： 内政部
皮埃尔·卢伊斯·居里;乔治·盖利 子类型+扩展性：\（\mathrm）中\（\beta\eta\）顶部还原的汇合{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.盖利}，莱克特。注释计算。科学。526731-749（1991年；Zbl 1493.68103） 全文： 内政部