阿尔伯特·阿塞里亚斯;马西莫·劳里亚 命题逻辑中的循环(但可靠)证明。 (英语) Zbl 07713581号 ACM事务处理。计算。日志。 24,第3号,第20号论文,第26页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}和\textit{M.Lauria},ACM翻译。计算。日志。24,第3号,第20号论文,第26页(2023;Zbl 07713581) 全文: DOI程序
胡杰森Z.S。;碧姬·品特卡;乌尔里希·舍普 语境类型的范畴论观点:从简单类型到从属类型。 (英语) Zbl 1505.03031号 ACM事务处理。计算。日志。 23,第4条,第25条,第36页(2022年).MSC公司:03B38型 03B40型 03B45号 18层20 18号45 PDF格式BibTeX公司 XML格式引用 \textit{J.Z.S.Hu}等人,ACM Trans。计算。日志。23,第4号,第25条,第36页(2022年;Zbl 1505.03031) 全文: DOI程序 arXiv公司
奥利弗·弗里德曼;费利克斯·克莱特克;马丁·兰格 基于Ramsey的可视下推自动机包含检查。 (英语) Zbl 1367.68169号 ACM事务处理。计算。日志。 16,第4号,第34条,第24页(2015年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Friedmann}等人,《美国医学杂志》。计算。日志。16,第4号,第34条,24页(2015;Zbl 1367.68169) 全文: DOI程序
彼得·勒法努·卢姆斯代恩;迈克尔·沃伦(Michael A.Warren)。 局部宇宙模型:依赖型理论被忽视的连贯结构。 (英语) Zbl 1354.03101号 ACM事务处理。计算。日志。 第16条第3款第23条第31页(2015年).MSC公司:03G30型 03B40型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Lumsdaine}和\textit{M.A.Warren},ACM翻译。计算。日志。16,第3号,第23条,第31页(2015;Zbl 1354.03101) 全文: DOI程序 arXiv公司
安德烈亚·阿斯佩蒂 通过有限类型计算复杂性。 (英语) Zbl 1354.68091号 ACM事务处理。计算。日志。 第16号第3条第26条第25页(2015年).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti},ACM翻译。计算。日志。16,第3号,第26条,25页(2015;Zbl 1354.68091) 全文: DOI程序