路易吉·利科里;克劳德·斯托尔泽 \（\增量\）-演算：语法和类型。 （英语） Zbl 1528.03128号 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第28条，第20页（2019年）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Liquori｝和\textit｛C.Stolze｝，LIPIcs——莱布尼茨国际会议记录。通知。131，第28条，第20页（2019年；Zbl 1528.03128） 全文： 内政部 arXiv公司
雅各布·雷霍夫;巴威·乌尔兹琴 具有交集类型的有限组合逻辑。 （英语） Zbl 1331.03019号 Ong，Luke（编辑），打字lambda结石和应用。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690169-183（2011）。MSC公司：03B40型 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{J.Rehof}和\textit{P.Urzyczyn}，莱克特。注释计算。科学。6690，169--183（2011年；兹bl 1331.03019） 全文： 内政部
卡里姆·努尔;科利法·萨伯 简单类型\（\lambda\mu\）-演算的完整性结果。 （英语） Zbl 1184.03007号 Ann.纯粹应用。逻辑 161，第1期，109-118（2009）. 审核人：马丁·邦德（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nour}和\textit{K.Saber}，Ann.Pure Appl。逻辑161，No.1，109--118（2009；Zbl 1184.03007） 全文： 内政部 arXiv公司
法鲁兹卡马雷丁;卡里姆·努尔 交叉类型系统可实现语义的完整性结果。 （英语） Zbl 1127.03011号 Ann.纯粹应用。逻辑 146，第2-3号，180-198（2007）. 审核人：弗拉基米尔·科门丹斯基（索菲亚·安蒂波利斯） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{K.Nour}，Ann.Pure Appl。逻辑146，No.2--3，180--198（2007；Zbl 1127.03011） 全文： 内政部 arXiv公司 哈尔
曼弗雷德·施密特·沙乌;舒尔茨，克劳斯·U。 有界高阶统一的判定性。 （英语） Zbl 1126.03017号 J.塞姆。计算。 40，第2期，905-954（2005）.MSC公司：03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。40，第2号，905--954（2005；Zbl 1126.03017） 全文： 内政部 链接
广富洋洋一（Yokouchi，Hirofumi） 具有交集、并集和类型量词的类型赋值系统的完整性。 （英语） 兹伯利0984.68027 西奥。计算。科学。 272，第1-2号，341-398（2002）.MSC公司：第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{H.Yokouchi}，Theor（西奥）。计算。科学。272，编号1--2，341--398（2002；Zbl 0984.68027） 全文： 内政部
石原、Hajime;久田俊彦 call-by-value\（\lambda\）-模型的交并型赋值系统的完备性。 （英语） 兹伯利0984.68026 西奥。计算。科学。 272，第1-2号，197-221（2002）.MSC公司：第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{H.Ishihara}和\textit{T.Kurata}，Theor。计算。科学。272，编号1--2，197-221（2002；Zbl 0984.68026） 全文： 内政部
文森特·范·奥斯特罗姆 发展中的发展。 （英语） 兹比尔0903.68104 西奥。计算。科学。 175，第1期，159-181（1997）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{V.van Oostrom}，Theor。计算。科学。175，第1号，159--181（1997；Zbl 0903.68104） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗;阿道夫·皮佩尔诺 结膜分离\（lambda\）-calculi的过滤模型。 （英语） Zbl 0874.03015号 西奥。计算。科学。 170，编号1-2，83-128（1996）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人，Theor。计算。科学。170，编号1--2，83-128（1996；Zbl 0874.03015） 全文： 内政部
埃里克·巴伦德森;马克·贝泽姆 简单类型结构的多态扩展。应用于棒递归最小化。 （英语） Zbl 0862.03004号 Ann.纯粹应用。逻辑 79，第3期，221-280（1996）.MSC公司：03B40型 35楼03号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{E.Barendsen}和\textit{M.Bezem}，Ann.Pure Appl。逻辑79，No.3，221--280（1996；Zbl 0862.03004） 全文： 内政部 链接
范·贝克尔，斯特芬 交叉口类型分配系统。 （英语） Zbl 0871.68031号 西奥。计算。科学。 151，第2号，385-435（1995年）.MSC公司：68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \文本{S.van Bakel}，Theor。计算。科学。151，No.2，385--435（1995；Zbl 0871.68031） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;J.Roger欣德利 组合逻辑的交集类型。 （英语） Zbl 0771.03004号 西奥。计算。科学。 100，第2期，303-324（1992）. 审核人：M.W.Bunder（伍伦贡） MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{J.R.Hindley}，Theor。计算。科学。100，编号2，303--324（1992；Zbl 0771.03004） 全文： 内政部
范·贝克尔，斯特芬 交叉点类型规程的完整限制。 （英语） Zbl 0762.03006号 西奥。计算。科学。 102，第1期，第135-163页（1992年）.MSC公司：03B40型 68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \文本{S.van Bakel}，Theor。计算。科学。102，编号1，135-163（1992年；Zbl 0762.03006） 全文： 内政部
佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini 交集和并集类型。 （英语） Zbl 1493.68080号 Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：施普林格出版社。莱克特。注释计算。科学。526, 651-674 (1991).MSC公司：第68页第18页 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}和\textit{M.Dezani-Ciancaglini}，莱克特。注释计算。科学。526651-674（1991年；Zbl 1493.68080） 全文： 内政部
M.科波。;Dezani-Ciancaglini，M。;M.扎基。 类型理论、范式和（D_{infty}）-lambda-models。 （英语） Zbl 0645.03011号 Inf.计算。 72, 85-116 (1987). 审核人：C.马萨拉吉 MSC公司：03B40型 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人，《信息计算》。72、85--116（1987年；Zbl 0645.03011） 全文： 内政部
马里亚纽拉州Dezani-Ciancaglini;伊内斯·玛格丽亚 F-完全类型赋值的一个特征。 （英语） 兹伯利0619.03014 西奥。计算。科学。 45, 121-157 (1986). 审核人：C.马萨拉吉 MSC公司：03B40型 03C65号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Dezani Ciancaglini｝和\textit｛I.Margaria｝，Theor。计算。科学。45、121--157（1986年；Zbl 0619.03014） 全文： 内政部
辛德雷，罗杰 输入lambda-terms的完备性定理。 （英语） Zbl 0512.03009号 西奥。计算。科学。 22, 1-17 (1983).MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \文本{R.欣德利}，Theor。计算。科学。22、1-17（1983年；Zbl 0512.03009） 全文： 内政部