尼克·本顿;马丁·霍夫曼;尼甘,维韦克 用于名称生成的证明相关的逻辑关系。 (英语) 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公司
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;尼甘,维韦克 计算成功:非确定性程序的效果和转换。 (英语) 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) 全文: 内政部
尼克·本顿;马丁·霍夫曼;尼甘,维韦克 抽象效果和证明相关的逻辑关系。 (英语) 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年;兹比尔1284.68371) 全文: 内政部 arXiv公司
尼克·本顿;马丁·霍夫曼;尼甘,维韦克 用于名称生成的证明相关的逻辑关系。 (英语) 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公司