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