帕特里克·贝洛特；吉尔·巴特；乌戈·达尔拉戈 次递归定义的隐式计算复杂性及其在密码证明中的应用。 （英语） Zbl 1468.68057号 J.汽车。推理 63，第4号，813-855（2019）.MSC公司：68甲18 03楼52 65年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，J.Autom。推理63，No.4，813--855（2019；Zbl 1468.68057） 全文： 内政部 哈尔
鲁道夫·勒皮格雷 PML2：ML中的集成程序验证。 （英语） Zbl 1528.68083号 Abel，Andreas（编辑）等人，第23届国际校样和程序类型会议，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。104，第4条，第27页（2018年）。MSC公司：68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛R.Lepigre｝，LIPIcs——莱布尼茨国际会议记录。通知。104，第4条，第27页（2018；Zbl 1528.68083） 全文： 内政部 arXiv公司
马丁·伦伯格；拉尔夫·拉梅尔；斯特芬·斯塔布 语义数据函数编程的本质。 （英语） 兹比尔1485.68042 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 750-776 (2017).MSC公司：68甲18 03B40型 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{M.Leinberger}等人，Lect。注释计算。科学。10201、750——776（2017；Zbl 1485.68042） 全文： 内政部 链接
康纳·麦克布莱德 我有很多“疯子”。 （英语） 兹比尔1343.68060 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。商会：施普林格出版社（ISBN 978-3-319-30935-4/pbk；978-3-319-30936-1/ebook）。计算机科学讲座笔记9600，207-233（2016）。MSC公司：68号30 03B70号 03楼52 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.McBride}，莱克特。注释计算。科学。9600，207--233（2016；Zbl 1343.68060） 全文： 内政部
弗兰克·芬宁；路易斯·凯恩斯；伯纳多·托尼霍 会话型进程演算中的校验代码。 （英语） 兹比尔1350.68204 Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，21-36（2011）。MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}等人，Lect。注释计算。科学。7086，21-36（2011；Zbl 1350.68204） 全文： 内政部
迪帕克·加格；杰森·富兰克林；迪尔森·卡纳尔；阿努帕姆·达塔 具有接口受限对手的组合系统安全。 （英语） Zbl 1342.68083号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，49-71（2010）。MSC公司：68号30 03B70号 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Garg}等人，《电子》。注释Theor。计算。科学。265、49--71（2010年；Zbl 1342.68083） 全文： 内政部