克里斯托弗·詹金斯;阿伦·斯塔姆;拉里·迪尔 Cedille中Mendler-style共导类型的高效lambda编码。 （英语） Zbl 1511.68054号 New，Max S.（编辑）等人，《数学结构函数编程第八次研讨会论文集》，MSFP 2020，爱尔兰都柏林，2020年4月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31772-97（2020年）。MSC公司：第68页第18页 03B40型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Jenkins}等人，《电子》。程序。西奥。计算。科学。（EPTCS）317、72--97（2020年；Zbl 1511.68054） 全文： arXiv公司 链接
阿伦·斯塔姆 相依λ消去的演算。 （英语） Zbl 1418.68038号 J.功能。程序。 27，论文编号e14，41 p.（2017）.MSC公司：第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}，J.Funct。程序。27，论文编号e14，41 p.（2017；Zbl 1418.68038） 全文： 内政部
哈雷III伊德斯;阿伦·斯塔姆;Ryan McCleeary 二元简单类型理论。 （英语） Zbl 1445.03013号 日志。方法计算。科学。 12，第3号，第2号论文，47页（2016年）.MSC公司：03B40型 03B20型 03立方厘米38 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{H.Eades III}等人，日志。方法计算。科学。12，第3号，第2号论文，47页（2016；Zbl 1445.03013） 全文： 内政部 arXiv公司