乌戈·达尔拉戈;马丁·霍夫曼 光仿射逻辑多重时间合理性的语义证明。 (英语) Zbl 1205.68169号 理论计算。系统。 46,第4期,673-689(2010).MSC公司:2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann},理论计算。系统。46,第4号,673--689(2010;Zbl 1205.68169) 全文: 内政部
诺曼·丹纳;詹姆斯·罗耶(James S.Royer)。 搜索类型系统的两种算法。 (英语) Zbl 1187.68308号 理论计算。系统。 45,第4期,787-821(2009).MSC公司:第68季度55 68N99型 68周05 PDF格式BibTeX公司 XML格式引用 \textit{N.Danner}和\textit{J.S.Royer},理论计算。系统。45,第4号,787--821(2009;Zbl 1187.68308) 全文: 内政部 arXiv公司
爱德华·罗伯逊。;劳伦斯五世·萨克斯顿。;德克·范·古赫特;斯迪恩·范萨梅伦 结构递归作为列表和有序树上的查询语言。 (英语) Zbl 1192.68219号 理论计算。系统。 44,第4期,590-619(2009).MSC公司:第68页,共15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Robertson}等人,理论计算。系统。44,第4号,590--619(2009;Zbl 1192.68219) 全文: 内政部