马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 (英语) Zbl 0959.68075号 Ann.纯粹应用。逻辑 104,编号1-3,113-166(2000).MSC公司:68问题55 2015年3月1日 03D65年 68甲18 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},安。纯应用。逻辑104,No.1--3113--166(2000;Zbl 0959.68075) 全文: 内政部
马丁·霍夫曼 范畴论语义在使用高阶函数代数刻画复杂度类中的应用。 (英语) Zbl 0931.03058号 牛市。符号。日志。 3,第4期,469-486(1997).MSC公司:2015年3月1日 2015年第68季度 03B40型 18层20 03G30型 03D65年 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼},公牛。符号。日志。3,第4号,469--486(1997;Zbl 0931.03058) 全文: 内政部 链接 链接