文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 （英语） 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） 全文： 内政部
阿里尔·凯利森;马克·比克福德;罗伯特·康斯特布尔 在类型理论中实现欧几里德的直尺和指南针构造。 （英语） Zbl 1479.03009号 安。数学。Artif公司。智力。 85，编号2-4，175-192（2019）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：03B35型 03楼55 2004年5月5日 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kellison}等人，Ann.数学。Artif公司。智力。85，编号2--4，175-192（2019；Zbl 1479.03009） 全文： 内政部
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉赫利 通过选择序列超越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 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） 全文： 链接
罗伯特·康斯特布尔;马克·比克福德 一阶逻辑的直觉完备性。 （英语） 兹比尔1345.03114 Ann.纯粹应用。逻辑 165，第1号，164-198（2014）.MSC公司：03楼55 03B20型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Constable}和\textit{M.Bickford}，Ann.纯粹应用。逻辑165，No.1，164--198（2014；Zbl 1345.03114） 全文： 内政部 arXiv公司
马克·比克福德;罗伯特·康斯特布尔 多态逻辑。 （英语） Zbl 1315.03043号 Berger，Ulrich（编辑）等人，《逻辑、构造、计算》。献给赫尔穆特·施维希滕贝格70岁生日。法兰克福：Ontos Verlag；柏林：De Gruyter（ISBN 978-3-11-032453-2-hbk；978-3-86838-158-0/hbk；978-11-032492-1/电子书）。Ontos数学逻辑3，51-65（2012）。MSC公司：03B70号 03B15号机组 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bickford}和\textit{R.Constable}，Ontos数学。日志。3、51-65（2012；Zbl 1315.03043）
马克·比克福德;罗伯特·康斯特布尔;约瑟夫·哈尔珀;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 （英语） Zbl 1213.68202号 日志。方法计算。科学。 7，第2号，第14号论文，36页（2011年）.MSC公司：68号30 03B42号 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛M.Bickford｝等人，日志。方法计算。科学。7，第2号，第14号论文，36页（2011年；Zbl 1213.68202） 全文： 内政部
艾伦，S.F。;比克福德，M。;康斯特布尔，R.L。;伊顿，R。;克里茨，C。;洛里戈，L。;E.莫兰。 使用Nuprl的计算类型理论创新。 （英语） Zbl 1107.68090号 J.应用。日志。 4，第4期，428-469（2006）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Allen}等人，J.Appl。日志。4，第4号，428--469（2006；Zbl 1107.68090） 全文： 内政部
马克·比克福德;罗伯特·康斯特布尔。;约瑟夫·霍尔珀（Joseph Y.Halpern）。;萨宾娜·彼得里德 使用事件结构的分布式系统的基于知识的综合。 （英语） Zbl 1108.68491号 Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，449-465（2005）。MSC公司：60年第68季度 64岁以下 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{M.Bickford}等人，Lect。注释计算。科学。3452、449--465（2005；Zbl 1108.68491） 全文： 内政部