雷内·戴维;卡里姆·努尔 经典自然演绎与析取的强正规化的简短证明。 (英语) Zbl 1066.03056号 J.塞姆。日志。 68,第4期,1277-1288(2003). 审核人:M.Yasuhara(普林斯顿) MSC公司:05年3月 03B05号 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.David}和\textit{K.Nour},J.Symb。日志。68,第4号,1277--1288(2003;Zbl 1066.03056) 全文: 内政部 arXiv公司 欧几里得
雷内·戴维;卡里姆·努尔 存储操作符和定向lambda-calculus。 (英语) Zbl 0852.03007号 J.塞姆。日志。 60,第4期,1054-1086(1995). 审核人:C.柏林(巴黎) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{R.David}和\textit{K.Nour},J.Symb。日志。60,第4号,1054--1086(1995;Zbl 0852.03007) 全文: 内政部 哈尔