克里斯托弗·詹金斯;阿伦·斯塔姆 Cedille中的单调递归类型和递归数据表示。 (英语) 兹比尔1495.68036 数学。结构。计算。科学。 第6号第31页,第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公司
乌戈·达尔拉戈;北彦浩弘 贝叶斯编程的几何学。 (英语) Zbl 1495.68035号 数学。结构。计算。科学。 31,第6号,633-681(2021).MSC公司:68甲18 03楼52 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{N.Hoshino},数学。结构。计算。科学。31,编号6,633--681(2021;Zbl 1495.68035) 全文: 内政部 arXiv公司
让·古鲍特·拉雷克;贾晓东 分离最小估值、点控制估值和连续估值。 (英语) Zbl 07527573号 数学。结构。计算。科学。 31,第6号,614-632(2021).MSC公司:06B35号 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{X.Jia},数学。结构。计算。科学。第631614-632号(2021年;兹bl 07527573) 全文: 内政部 arXiv公司