煎炸,伊曼纽尔 直觉集理论中依赖类型的可拓实现性和选择。 (英语) Zbl 07735948号 J.塞姆。日志。 88,编号3,1138-1169(2023).MSC公司:03楼50 35层03 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{E.Frittaion},J.Symb。日志。88,编号3,1138--1169(2023;Zbl 07735948) 全文: DOI程序
安东·戈洛夫;塞巴斯蒂安·特维恩。 部分组合代数之间的嵌入。 (英语) Zbl 07690435号 圣母院J.形式逻辑 64,第1号,129-158(2023).MSC公司:03B40型 03D28号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.Golov}和\textit{S.A.Terwijn},圣母院J.形式逻辑64,No.1,129--158(2023;Zbl 07690435) 全文: DOI程序 arXiv公司