泽纳·M·阿里奥拉。;雨果·赫贝林;阿穆尔·萨布里 限定延续的类型理论基础。 （英语） 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，第4期，403-429（2007）.MSC公司：68吨15 03B05号 03B20型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Z.M.Ariola}等人，高-订购符号。计算。20，第4号，403--429（2007；Zbl 1128.68089） 全文： 内政部 哈尔