玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;朱莉娅·萨皮娜;巴利斯,德米斯 重写逻辑理论的符号专门化急板地. (英语) Zbl 1530.68130号 理论与实践。日志。程序。 22,第3期,444-495(2022年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《理论与实践》。日志。程序。22,第3号,444--495(2022;Zbl 1530.68130) 全文: 内政部 arXiv公司
迈克尔·哈纳斯 从逻辑到功能逻辑程序。 (英语) Zbl 07595324号 理论与实践。日志。程序。 22,第4期,538-554(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hanus},理论与实践。日志。程序。22,编号4,538--554(2022;Zbl 07595324) 全文: 内政部 arXiv公司
塞尔吉奥·安托伊;迈克尔·哈纳斯 Curry的默认规则。 (英语) Zbl 1379.68037号 理论与实践。日志。程序。 17,第2期,121-147(2017).MSC公司:68N17号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},理论与实践。日志。程序。17,No.2,121--147(2017;Zbl 1379.68037) 全文: 内政部 arXiv公司