约翰·马拉伊斯;马丁·奥德斯基;菲利普·沃德勒 调用需要lambda演算。 (英语) 兹伯利0918.03019 J.功能。程序。 8,第3号,275-317(1998).MSC公司:03B70号 68号01 68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Maraist}等人,J.Funct。程序。8,第3号,275--317(1998;Zbl 0918.03019) 全文: DOI程序
O'Hearn,Peter W。 关于Algol和保守扩展函数编程的注释。 (英语) Zbl 0848.68016号 J.功能。程序。 6,第1期,171-180(1996).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \文本{P.W.O'Hearn},J.Funct。程序。6,第1号,171--180(1996;Zbl 0848.68016) 全文: DOI程序