泽娜·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 限定延续的类型理论基础。 （英语） Zbl 1213.68187号 高-订购符号。计算。 22，第3期，233-273（2009）.MSC公司：68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}等人，高-订购符号。计算。22，第3号，233--273（2009；Zbl 1213.68187） 全文： 内政部 链接
雨果·赫贝林;斯特凡·齐默尔曼 以“自然演绎”形式对调用值最小和经典（lambda）演算进行的运算说明。 （英语） Zbl 1246.03030号 Curien，Pierre-Louis（编辑），《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608142-156（2009）。MSC公司：03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Herbelin}和\textit{S.Zimmermann}，莱克特。注释计算。科学。5608、142--156（2009年；Zbl 1246.03030） 全文： 内政部
泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 失败延续的证明理论基础。 （英语） Zbl 1128.68089号 高-订购符号。计算。 20，编号403-429（2007）.MSC公司：68吨15 03B05号 03B20型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}等人，高-订购符号。计算。20，编号4403-429（2007年；兹bl 1128.68089） 全文： 内政部 哈尔
马丁·海兰德;保罗·布莱恩·利维;戈登·普洛金;权力，约翰 将代数效应与延续相结合。 （英语） Zbl 1111.68067号 西奥。计算。科学。 375，编号1-3，20-40（2007）.MSC公司：68问题55 2005年第68季度 2010年第68季度 18立方厘米 18立方厘米 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}等人，Theor。计算。科学。375，编号1--3，20--40（2007；Zbl 1111.68067） 全文： 内政部 链接
卡斯滕·范尔曼;Hayo Thielecke 关于按值调用CPS变换及其语义。 （英语） Zbl 1078.68095号 Inf.计算。 188，第2期，241-283（2004）.MSC公司：68问题55 03B70号 18立方厘米20 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{C.Führmann}和\textit{H.Thielecke}，Inf.Comput。188，第2号，241--283（2004；Zbl 1078.68095） 全文： 内政部
马丁·霍夫曼;托马斯·斯特里彻 （lambda_\mu）-演算连续模型的完备性。 （英语） Zbl 1096.03011号 Inf.计算。 179，第2期，332-355（2002）.MSC公司：03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{T.Streicher}，信息计算。179，第2号，332--355（2002；Zbl 1096.03011） 全文： 内政部
大卫·皮姆;艾克·里特 关于经典析取的语义。 （英语） Zbl 0981.03018号 J.纯应用。代数 159，编号2-3，315-338（2001）. 审核人：安德烈亚·坎蒂尼（费伦泽） MSC公司：03B40型 03年3月 03G30型 03B05号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{E.Ritter}，J.Pure Appl。代数159，No.2--3，315--338（2001；Zbl 0981.03018） 全文： 内政部
藤田，Ken Etsu 无域\（\lambda\mu\）-演算。 （英语） Zbl 0974.68032号 西奥。通知。申请。 34，第6期，433-466（2000）.MSC公司：68甲18 2005年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{K.-E.Fujita}，Theor。通知。申请。34，第6号，433--466（2000；Zbl 0974.68032） 全文： 内政部 欧洲DML
长谷川、Masahito 将类型化lambda演算分解为两种分类编程语言。 （英语） Zbl 1502.68055号 大卫·皮特（编辑）等人，《范畴理论与计算机科学》。第六届国际会议，CTCS’95，英国剑桥，1995年8月7-11日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。953, 200-219 (1995).MSC公司：68甲15 03B40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{M.长谷川}，莱克特。注释计算。科学。953200--219（1995年；Zbl 1502.68055） 全文： 内政部