Møgelberg、Rasmus Ejlers;马可·帕维奥蒂 综合保护域理论中递归类型的表示语义。 （英语） Zbl 1401.68047号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。317-326 (2016).MSC公司：68号30 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Mögelberg}和\textit{M.Paviotti}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。317--326（2016；Zbl 1401.68047） 全文： 内政部 arXiv公司 链接
马可·帕维奥蒂;莫格尔贝里，拉斯穆斯·埃杰勒斯;拉尔斯·比克达尔 防护型理论中的PCF模型。 （英语） Zbl 1351.68063号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，333-349，仅电子版（2015）。MSC公司：68甲18 03B15号机组 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}等人，《电子》。注释Theor。计算。科学。319333-349（2015；Zbl 1351.68063） 全文： 内政部