阿列舍·比兹亚克;拉斯穆斯·埃杰勒斯·莫格伯格 保护依赖类型理论的表示语义。 （英语） Zbl 1495.68127号 数学。结构。计算。科学。 30，第4期，342-378（2020）.MSC公司：68问题55 03B38型 18层20 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Bizjak}和\textit{R.Ejlers-Mogelberg}，数学。结构。计算。科学。30，第4号，342--378（2020；Zbl 1495.68127） 全文： 内政部 arXiv公司
阿列舍·比兹亚克;汉斯·布格·格雷斯沃尔;拉纳德·克鲁斯顿;莫盖尔伯格，拉斯穆斯·E。;拉尔斯·比克达尔 具有共导类型的保护依赖类型理论。 （英语） 兹比尔1475.68060 Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 20-35 (2016).MSC公司：68甲18 03B38型 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bizjak}等人，Lect。注释计算。科学。9634，20--35（2016；Zbl 1475.68060） 全文： 内政部 arXiv公司
阿列舍·比兹亚克;莫格尔贝里，拉斯穆斯·埃杰勒斯 具有时钟同步的保护递归模型。 （英语） Zbl 1351.68057号 Ghica，Dan（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记31983-101，仅电子版（2015）。MSC公司：68甲18 03B15号机组 03B70号 18立方厘米50 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bizjak}和\textit{R.E.Mögelberg}，电子。注释Theor。计算。科学。31983--101（2015；Zbl 1351.68057） 全文： 内政部