大卫·J·派姆。;O'Hearn,Peter W。;杨红seok 可能的世界和资源:\(\mathbf{BI}\)的语义。 (英语) Zbl 1055.03021号 西奥。计算。科学。 315,第1期,257-305(2004).MSC公司:03B70号 第03页 03G30型 03B47号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym}等人,Theor。计算。科学。315,第1号,257--305(2004;Zbl 1055.03021) 全文: 内政部
O'Hearn,Peter W。;大卫·J·派姆。 捆绑暗示的逻辑。 (英语) Zbl 0930.03095号 牛市。符号。日志。 5,第2期,215-244(1999).MSC公司:第03页 03G30型 03B20型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{D.J.Pym},公牛。符号。日志。5,第2号,215--244(1999;Zbl 0930.03095) 全文: 内政部 链接