西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 （英语） 兹比尔1432.03046 日志。方法计算。科学。 15，第1号，第27号论文，51页（2019年）。理学硕士：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公司
西蒙·多尔蒂;大卫·皮姆 分离逻辑的Stone型对偶定理，通过其底层的束逻辑实现。 （英语） Zbl 1525.03094号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 101-118 (2018).理学硕士：03B70号 03B47号 03G30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛S.Docherty｝和\textit｛D.Pym｝，电子。注释Theor。计算。科学。336、101--118（2018年；Zbl 1525.03094） 全文： 内政部
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑：语义和证明理论。 （英语） Zbl 1454.03030号 日志。方法计算。科学。 14，第4号，第11号论文，36页（2018年）。理学硕士：03B47号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym}，日志。方法计算。科学。14，第4号，第11号论文，36页（2018；Zbl 1454.03030） 全文： 内政部 arXiv公司
西蒙·多尔蒂;大卫·皮姆 直观的分层图形逻辑。 （英语） Zbl 1476.03024号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 469-486 (2016).理学硕士：03B47号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym}，莱克特。注释计算。科学。9706469--486（2016；Zbl 1476.03024） 全文： 内政部 链接