默多克·J·加贝。;迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶,以及拓扑完备性的证明。 (英语) Zbl 1422.03023号 Ann.纯粹应用。逻辑 168,第3期,501-621(2017).MSC公司:03B40型 06年50月 03C55号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay},Ann.纯应用。逻辑168,No.3,501--621(2017;Zbl 1422.03023) 全文: 内政部 arXiv公司 链接
毛里西奥·阿亚拉·林科恩;弗拉维奥·德·莫拉。;费尔鲁兹Kamareddine 比较并实现显式替换和eta还原的计算。 (英语) Zbl 1067.03042号 Ann.纯粹应用。逻辑 134,第1期,第5-41页(2005年).MSC公司:03B70号 03B40型 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,Ann.Pure Appl。逻辑134,编号1,5-41(2005;Zbl 1067.03042) 全文: 内政部
萨姆森·艾布拉姆斯基;拉德哈·贾加迪桑 通用多态性的游戏语义。 (英语) Zbl 1066.68074号 Ann.纯粹应用。逻辑 133,编号1-3,3-37(2005). 审核人:弗拉基米尔·科门丹茨基(科克) MSC公司:68问题55 03B40型 03G30型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}和\textit{R.Jagadeesan},Ann.纯苹果。逻辑133,编号1--3,3--37(2005;Zbl 1066.68074) 全文: 内政部 arXiv公司
泽纳·M·阿里奥拉。;斯特凡·布隆 斜汇流和lambda演算与letrec。 (英语) Zbl 1019.03011号 Ann.纯粹应用。逻辑 117,编号1-3,95-168(2002). 审核人:安东尼奥·萨利布拉(Venezia Mestre) MSC公司:03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}和\textit{S.Blom},Ann.Pure Appl。逻辑117,编号1--3,95-168(2002;Zbl 1019.03011) 全文: 内政部
谢尔盖·索洛维耶夫;罗兆辉 强制子类型中的强制完成和保守性。 (英语) 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) 全文: 内政部