西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年).MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑:语义和证明理论。 (英语) Zbl 1454.03030号 日志。方法计算。科学。 14,第4号,第11号论文,36页(2018年).MSC公司:03B47号 03B20型 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。14,第4号,第11号论文,36页(2018;Zbl 1454.03030) 全文: 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 分离理论的模块化表格计算。 (英语) Zbl 1506.03073号 Baier,Christel(编辑)等人,《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018,作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10803, 441-458 (2018).MSC公司:03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},莱克特。注释计算。科学。10803、441--458(2018;Zbl 1506.03073) 全文: 内政部
萨明·伊斯蒂亚克;大卫·J·派姆。 依赖型聚束(lambda)演算的Kripke资源模型。(扩展摘要)。 (英语) Zbl 0944.03014号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第十三届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 235-249 (1999).MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ishtiaq}和\textit{D.J.Pym},莱克特。注释计算。科学。1683,235--249(1999;Zbl 0944.03014)