西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 （英语） 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）