尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 （英语） Zbl 1459.68041号 日志。方法计算。科学。 14，第1号，第25号论文，22页（2018年）.MSC公司：68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Log。方法计算。科学。14，第1号，第25号论文，22页（2018；Zbl 1459.68041） 全文： 内政部 arXiv公司
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;Vivek Nigam先生 计算成功：非确定性程序的效果和转换。 （英语） Zbl 1343.68054号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·瓦德勒60岁生日之际献给他的散文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，56-72（2016）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。注释计算。科学。9600，56-72（2016；Zbl 1343.68054） 全文： 内政部
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 抽象效果和证明相关的逻辑关系。 （英语） Zbl 1284.68371号 2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。619-631 (2014).MSC公司：68问题55 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。619--631（2014年；Zbl 1284.68371） 全文： 内政部 arXiv公司
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 （英语） Zbl 1381.68047号 长谷川，Masahito（编辑），键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38945-0/pbk）。计算机科学课堂讲稿7941，48-60（2013）。MSC公司：68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。注释计算。科学。7941、48-60（2013年；Zbl 1381.68047） 全文： 内政部 arXiv公司
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 阅读、写作和关系。面向效果分析的扩展语义。 （英语） 兹比尔1168.68356 Naoki Kobayashi（编辑），《编程语言和系统》。第四届亚洲研讨会，2006年APLAS，2006年11月8日至10日，澳大利亚悉尼。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48937-5/pbk）。计算机科学课堂讲稿4279114-130（2006）。MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。注释计算。科学。4279、114--130（2006年；Zbl 1168.68356） 全文： 内政部