迈克尔·斯皮维 什么时候可能还不够好。 (英语) Zbl 1276.68046号 J.功能。程序。 22,第6期,747-756(2012). 审核人:尤里安·哈格(乌得勒支) MSC公司:68甲18 68N20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Spivey},J.Funct。程序。22,第6号,747--756(2012;Zbl 1276.68046) 全文: 内政部
西尔维亚·塞雷斯;迈克尔·斯皮维 逻辑程序的功能读取。 (英语) Zbl 0960.68020号 加州大学洛杉矶分校 6,第4期,433-446(2000).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Seres}和\textit{M.Spivey},J.UCS 6,第4期,433--446(2000;Zbl 0960.68020) 全文: 链接