亚历山大·本特坎普;布兰切特,茉莉;西蒙·克鲁内斯;乌韦·沃尔德曼 无λ高阶逻辑的叠加。 (英语) Zbl 07350767号 日志。方法计算。科学。 17,第2号,第1号论文,38页(2021).理学硕士:03B35型 03B16号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人,《日志》。方法计算。科学。17,第2号,第1号论文,38页(2021;Zbl 07350767) 全文: arXiv公司 链接
贾斯敏·克里斯蒂安·布兰切特;Böhme,萨沙;安德烈·波佩斯库;尼古拉斯·斯莫尔博内 编码单态和多态类型。 (英语) Zbl 1445.68327号 日志。方法计算。科学。 12,第4号,第13号论文,52页(2016年).理学硕士:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人,《日志》。方法计算。科学。12,第4号,第13号论文,52页(2016;Zbl 1445.68327) 全文: 内政部 arXiv公司