菲利普·约翰森·弗雷德;保罗·唐恩;泽纳·M·阿里奥拉。 以名称命名的延伸性和融合性。 （英语） Zbl 1418.68033号 J.功能。程序。 27，论文编号e12，45 p.（2017）.MSC公司：68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Johnson Freyd｝等人，J.Funct。程序。27，论文编号e12，45 p.（2017；Zbl 1418.68033） 全文： 内政部
克劳斯·凯梅尔 谓词转换器的健康条件。 （英语） Zbl 1351.68076号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319255-270，仅电子版（2015）。MSC公司：68号30 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{K.Keimel}，电子。注释Theor。计算。科学。319255-270（2015年；Zbl 1351.68076） 全文： 内政部
何塞·埃斯皮里托·桑托;拉尔夫·马提斯;中泽，Koji;路易斯·平托 经典序列微积分的一元翻译。 （英语） Zbl 1311.68042号 数学。结构。计算。科学。 23，第6期，1111-1162（2013）.MSC公司：68甲18 03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}等人，《数学》。结构。计算。科学。23，第6号，1111--1162（2013；Zbl 1311.68042） 全文： 内政部
范·贝克尔，斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 （lambda\mu）-演算的过滤器模型（扩展抽象）。 （英语） Zbl 1331.03021号 Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日，塞尔维亚诺维萨德，第十届国际会议，TLCA 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690213-228（2011）。MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛S.van Bakel｝等人，Lect。注释计算。科学。6690、213--228（2011年；Zbl 1331.03021） 全文： 内政部
保罗·安德烈·梅利埃;尼古拉斯·塔巴鲁 张量逻辑中的资源模式。 （英语） 兹比尔1223.03048 Ann.纯粹应用。逻辑 161，第5期，632-653（2010）.MSC公司：03楼52 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.-A.Melliès}和\textit{N.Tabarau}，Ann.Pure Appl。逻辑161，No.5，632--653（2010；Zbl 1223.03048） 全文： 内政部
弗拉基米尔·科门丹斯基 lambda-mu演算中call-by-name规范化的表示语义。 （英语） Zbl 1336.68031号 Seda，Anthony（编辑）等人，《爱尔兰计算机科学和信息技术数学基础会议论文集》（MFCSIT 2006），爱尔兰科克国立爱尔兰大学，2006年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记225，161-179（2009）。MSC公司：68甲18 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Komendantsky}，电子。注释Theor。计算。科学。225161--179（2008年；Zbl 1336.68031） 全文： 内政部
大辅木村 Call-by-value是Call-by-name的双重扩展。 （英语） Zbl 1138.68025号 邵，钟（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学讲座笔记4807，415-430（2007）。MSC公司：68号30 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}，莱克特。注释计算。科学。4807、415--430（2007年；Zbl 1138.68025） 全文： 内政部