安东尼奥·布恰雷利;帕斯夸尔马拉卡里亚 布尔函数通过超图的相对可定义性。 (英语) Zbl 1002.68106号 西奥。计算。科学。 278,编号1-2,91-110(2002).MSC公司:68兰特 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}和\textit{P.Malacaria},Theor。计算。科学。278,编号1--2,91-110(2002;Zbl 1002.68106) 全文: 内政部
安东尼奥·布恰雷利;托马斯·埃尔哈德 乘法加法线性逻辑中的相位语义和指称语义。 (英语) Zbl 0949.03057号 Ann.纯粹应用。逻辑 102,第3期,247-282(2000).MSC公司:03楼52 68问题55 03B70型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}和\textit{T.Ehrhard},Ann.Pure Appl。逻辑102,编号3247-282(2000;Zbl 0949.03057) 全文: 内政部