西蒙·多尔蒂；大卫·皮姆 直觉分层图逻辑：语义和证明理论。 （英语） 兹比尔1454.03030 日志。方法计算。科学。 14，第4号，第11号论文，36页（2018年）.MSC公司：03B47号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym}，日志。方法计算。科学。14，第4号，第11号论文，36页（2018；Zbl 1454.03030） 全文： 内政部 arXiv公司
大卫·皮姆；克里斯·托夫茨 通过资源和过程进行系统建模：哲学、微积分、语义和逻辑。 （英语） Zbl 1277.68202号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，545-587（2007）。MSC公司：68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts}，电子。注释Theor。计算。科学。172545--587（2007年；Zbl 1277.68202） 全文： 内政部
大卫·派姆；克里斯·托夫茨 资源和过程的演算和逻辑。 （英语） Zbl 1111.68086号 正式Asp。计算。 18，第4期，495-517（2006）; 勘误表同上19，第4号，551-554（2007年）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{C.Tofts}，正式Asp。计算。18，第4号，495--517（2006；Zbl 1111.68086） 全文： 内政部
大卫·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） 全文： 内政部