阿姆托夫特,托本 流敏感型系统和环境演算。 (英语) Zbl 1175.68268号 高-订购符号。计算。 21,第4期,411-442(2008).MSC公司:68问题85 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft},高-订购符号。计算。21,第4号,411--442(2008;Zbl 1175.68268) 全文: 内政部
斯科特·欧文斯;康拉德·斯林德 使功能程序适应高阶逻辑。 (英语) Zbl 1175.68103号 高-订购符号。计算。 21,第4期,377-409(2008).MSC公司:68甲18 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Owens}和\textit{K.Slind},高-订购符号。计算。21,第4号,377--409(2008;Zbl 1175.68103) 全文: 内政部
杰弗里·马克·西斯金德;巴拉克·A·皮尔默特。 在功能框架中嵌套转发模式AD。 (英语) Zbl 1175.68104号 高-订购符号。计算。 21,第4期,361-376(2008).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Siskind}和\textit{B.A.Pearlmutter},高-订购符号。计算。21,第4号,361--376(2008;Zbl 1175.68104) 全文: 内政部 链接