文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 （英文） 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 1444.03103号 J.日志。计算。 第4期第29页，第469-486页（2019年）.MSC公司：03B60号 03B20型 03B35型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.L.Constable}，J.Log。计算。29，第4号，469--486（2019；Zbl 1444.03103） 全文： 内政部 链接
马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。;文森特·拉里 通过选择序列超越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 1465.68036号 Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。9160, 14-26 (2015).MSC公司：68甲15 03B20型 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛L.Cohen｝和\textit｛R.L.Constable｝，Lect。注释计算。科学。9160，14-26（2015；Zbl 1465.68036） 全文： 内政部