克里斯托弗·詹金斯;阿伦·斯塔姆 Cedille中的单调递归类型和递归数据表示。 (英语) Zbl 1495.68036号 数学。结构。计算。科学。 31,第6号,682-745(2021).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Jenkins}和\textit{A.Stump},数学。结构。计算。科学。31,第6号,682--745(2021;Zbl 1495.68036) 全文: 内政部 arXiv公司
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 (英语) Zbl 1390.68584号 数学。结构。计算。科学。 第6期第28期,942-990页(2018).MSC公司:68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford},数学。结构。计算。科学。28,第6号,942--990(2018;Zbl 1390.68584) 全文: 内政部