文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 （英语） Zbl 1427.03066号 美国临床医学杂志 66，第2号，第13条，第35页（2019年）.MSC公司：03楼50 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，J.ACM 66，第2号，第13条，第35页（2019年；Zbl 1427.03066） 全文： 内政部
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 通过选择序列超越Church-Turing的可计算性。 （英语） Zbl 1452.03133号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。245-254 (2018).MSC公司：03楼50 03B35型 03B38型 03日30分 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。245--254（2018；Zbl 1452.03133） 全文： 内政部 链接
文森特·拉里;科恩、利隆;马克·比克福德 由单调库支持的验证定理证明器后端。 （英语） Zbl 1409.68262号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛V.Rahli｝等人，EPiC系列。计算。57564-582（2018年；兹比尔1409.68262） 全文： 内政部
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 （英语） Zbl 1390.68584号 数学。结构。计算。科学。 28，第6号，942-990（2018）.MSC公司：68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford}，数学。结构。计算。科学。28，编号61942-990（2018；兹bl 1390.68584） 全文： 内政部
文森特·拉里;马克·比克福德;罗伯特·康斯特布尔。 棒材感应。好的，坏的，丑陋的。 （英语） Zbl 1457.68298号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第14条，第12页（2017年）。MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第14条，第12页（2017；Zbl 1457.68298） 全文： 链接
文森特·拉里;马克·比克福德;阿南德，阿比舍克 使用计算等价性和部分类型在Nuprl中进行形式化程序优化。 （英语） Zbl 1317.68231号 Blazy，Sandrine（编辑）等人，《交互式定理证明》。2013年7月22日至26日，第四届国际会议，ITP 2013，法国雷恩。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39633-5/pbk）。计算机科学课堂讲稿7998，261-278（2013）。MSC公司：68吨15 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，Lect。注释计算。科学。7998，261--278（2013；Zbl 1317.68231） 全文： 内政部