胡杰森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) 全文: 内政部 arXiv公司
丹尼尔·格拉泽;埃文·卡瓦洛;卡夫沃斯,G.A。;阿德里安·瓜托;拉尔斯·比克达尔 模态和参数伴随。 (英语) Zbl 1505.03030号 ACM事务处理。计算。日志。 23,第3条,第18条,第29页(2022年).MSC公司:03B38型 03B45号 18层20 18号45 PDF格式BibTeX公司 XML格式引用 \textit{D.Gratzer}等人,《美国医学杂志》。计算。日志。23,第3号,第18条,第29页(2022;Zbl 1505.03030) 全文: 内政部 链接
阿达梅克,吉安尼;陈良婷;斯特凡·米利厄斯;海宁·乌尔巴特 关于单体有限代数的Reiterman定理。 (英语) Zbl 1505.18009号 ACM事务处理。计算。日志。 22,第4条,第23条,48页(2021年).MSC公司:18立方厘米 70年第68季度 08B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,ACM Trans。计算。日志。22,第4号,第23条,48页(2021;Zbl 1505.18009) 全文: 内政部 arXiv公司
谢尔盖·冈查洛夫;斯特凡·米利厄斯;亚历山德拉·席尔瓦 走向有效状态机的统一理论。 (英语) 兹比尔1446.68085 ACM事务处理。计算。日志。 第21条第3款第23条第63页(2020年).MSC公司:68问题55 18立方厘米 18 C50 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,ACM Trans。计算。日志。21,第3号,第23条,63页(2020年;Zbl 1446.68085) 全文: 内政部 arXiv公司 链接
阿达梅克,吉安尼;斯特凡·米利厄斯;罗伯特·S·R·迈尔斯。;海宁·乌尔巴特 广义艾伦伯格定理。一个类别中的各种语言。 (英语) 兹比尔1407.68315 ACM事务处理。计算。日志。 20,第1号,第3条,47页(2019年).MSC公司:70年第68季度 18B20型 18日第10天 18日第15天 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,ACM Trans。计算。日志。20,第1号,第3条,47页(2019年;Zbl 1407.68315) 全文: 内政部
本诺·范登伯格 路径类别和命题身份类型。 (英语) Zbl 1407.03005号 ACM事务处理。计算。日志。 第19条第2款第15条第32页(2018年).MSC公司:03B15号机组 03G30型 18B30型 55 u40 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},ACM翻译。计算。日志。19,第2号,第15条,32页(2018;Zbl 1407.03005) 全文: 内政部 arXiv公司
马塞洛·M·邦桑格。;斯特凡·米利厄斯;亚历山德拉·席尔瓦 组合语言等价的合理且完整的公理化。 (英语) Zbl 1353.68186号 ACM事务处理。计算。日志。 14,第1号,第7条,52页(2013年).MSC公司:70年第68季度 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,ACM Trans。计算。日志。14,第1号,第7条,52页(2013;Zbl 1353.68186) 全文: 内政部 arXiv公司
范登伯格,本诺;理查德·加纳 身份类型的拓扑和简单模型。 (英语) Zbl 1352.03012号 ACM事务处理。计算。日志。 第13号第1条第3条第44页(2012年).MSC公司:03B15号机组 03G30型 18B30型 55 u40 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{R.Garner},ACM Trans。计算。日志。13,第1号,第3条,第44页(2012;Zbl 1352.03012) 全文: 内政部 arXiv公司
罗布·阿尔森;乌苏拉·马丁;埃里克·马西森。;保罗·奥利瓦 完善Floyd-Hoare逻辑的一般框架。 (英语) Zbl 1351.03020号 ACM事务处理。计算。日志。 11,第1号,第7条,第31页(2009年).MSC公司:03B70号 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{R.Arthan}等人,ACM Trans。计算。日志。11,第1号,第7条,第31页(2009年;Zbl 1351.03020) 全文: 内政部 arXiv公司
文森特·达诺斯;罗素·S·哈默。 概率游戏语义。 (英语) Zbl 1365.68310号 ACM事务处理。计算。日志。 3,第3期,359-382(2002).MSC公司:68问题55 18 C50 68甲15 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{R.S.Harmer},ACM Trans。计算。日志。3,第3号,359--382(2002;Zbl 1365.68310) 全文: 内政部