阿伦斯,贝内迪克特;北,Paige Randall;范德维德,尼尔斯 双范畴类型理论:语义和句法。 (英文) Zbl 07813371号 数学。结构。计算。科学。 33,第10号,868-912(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人,《数学》。结构。计算。科学。33,编号10,868--912(2023;Zbl 07813371) 全文: 内政部 arXiv公司 OA许可证
阿伦斯,贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 可呈现的签名和初始语义。 (英文) Zbl 07379288号 日志。方法计算。科学。 17,第2号,第17号论文,28页(2021年).MSC公司:68问题65 03B70号 18立方厘米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人,日志。方法计算。科学。17,第2号,第17号论文,28页(2021;Zbl 07379288) 全文: 内政部 arXiv公司