西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 （英语） 兹比尔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） 全文： 内政部
弗雷德里克·达尔奎斯特;大卫·皮姆 分配子结构逻辑的余代数完备性-via-非唯一性。 （英语） Zbl 1453.03020号 J.日志。阿尔盖布。方法计划。 93, 1-22 (2017)。理学硕士：03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}和\textit{D.Pym}，J.Log。阿尔盖布。方法计划。93，1-22（2017；Zbl 1453.03020） 全文： 内政部 arXiv公司