拉尔斯·比克达尔;吉勒姆·贾伯;菲利普·西奇科夫斯基;雅各布·塔姆斯堡 用于基于效果的程序转换的Kripke逻辑关系。 (英语) Zbl 1345.68095号 Inf.计算。 249160-189(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,《信息计算》。249160-189(2016;Zbl 1345.68095) 全文: 内政部
黑山,曼努埃尔;里卡多·佩纳;克拉拉·塞古拉 资源语义和抽象机保险柜:带有区域和显式释放的函数语言。 (英语) Zbl 1358.68059号 Inf.计算。 235, 3-35 (2014).MSC公司:68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人,Inf.计算。235,3--35(2014;Zbl 1358.68059) 全文: 内政部
纳撒尼尔·查尔顿;罗伊斯,伯恩哈德 通过存储进行递归推理的规范模式。 (英语) Zbl 1358.68184号 Inf.计算。 231, 167-203 (2013).MSC公司:第68季度第60季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Charlton}和\textit{B.Reus},Inf.Comput。231、167--203(2013;Zbl 1358.68184) 全文: 内政部
Atsushi Ohori 多态性的类型定向专门化。 (英语) Zbl 1045.68505号 Inf.计算。 155,编号1-2,64-107(1999).MSC公司:68甲15 第68页第20页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Ohori},Inf.计算。155,编号1--2,64-107(1999;Zbl 1045.68505) 全文: 内政部