丹尼尔·安尼科夫;保罗·卡普里奥蒂;克劳斯，尼古拉;克里斯蒂安·萨特勒 二级类型理论及其应用。 （英语） Zbl 07813366号 数学。结构。计算。科学。 33，第8号，688-743（2023）; 勘误表同上，第34号，第1、80页（2024年）。MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Annenkov}等人，《数学》。结构。计算。科学。33，编号8，688--743（2023；Zbl 07813366） 全文： 内政部 arXiv公司 OA许可证
北海山田 Martin-Löf类型理论的博弈语义。 （英语） Zbl 07813361号 数学。结构。计算。科学。 33，编号7，605-646（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Yamada}，数学。结构。计算。科学。33，编号7，605--646（2023；Zbl 07813361） 全文： 内政部 arXiv公司
上村，太极 类型理论语义的一般框架。 （英语） Zbl 07813328号 数学。结构。计算。科学。 33，第3号，134-179（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Uemura}，数学。结构。计算。科学。33，编号3，134--179（2023；Zbl 07813328） 全文： 内政部 arXiv公司 OA许可证
马塞洛·菲奥雷 通过类型lambda演算的评估进行规范化的语义分析。 （英语） Zbl 07680178号 数学。结构。计算。科学。 1028-1065号32（2022）.MSC公司：03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore}，数学。结构。计算。科学。32，编号8，1028-1065（2022；兹bl 07680178） 全文： 内政部 arXiv公司
埃里克·帕尔姆格伦 从类型理论到刚毛，再到反向。 （英语） Zbl 07676407号 数学。结构。计算。科学。 32，第10号，1283-1312（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Palmgren}，数学。结构。计算。科学。32，第10号，1283--1312（2022；Zbl 07676407） 全文： 内政部 arXiv公司
马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格 对数摊销复杂性的基于类型的分析。 （英语） Zbl 1517.68070号 数学。结构。计算。科学。 32，第6号，794-826（2022）.MSC公司：68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，《数学》。结构。计算。科学。32，编号6，794--826（2022；Zbl 1517.68070） 全文： 内政部 arXiv公司
马丁·霍夫曼;杰雷米·莱登特 简单类型（lambda）演算的定量模型。 （英语） Zbl 07650542号 数学。结构。计算。科学。 32，第6号，777-793（2022）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{J.Ledent}，数学。结构。计算。科学。32，编号6，777--793（2022；Zbl 07650542） 全文： 内政部
美国达拉戈。 高阶编程语言中的隐式计算复杂性。纪念马丁·霍夫曼的调查。 （英语） Zbl 1517.68075号 数学。结构。计算。科学。 32，编号6，760-776（2022）.MSC公司：68纳米30 03B40型 03楼52 68甲18 2015年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}，数学。结构。计算。科学。32，编号6，760--776（2022；Zbl 1517.68075） 全文： 内政部
简·霍夫曼;斯特芬·乔斯特 二十年的自动摊销资源分析。 （英语） Zbl 1517.68079号 数学。结构。计算。科学。 32，第6号，729-759（2022）.MSC公司：68纳米30 03B38型 03B70号 68甲18 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}和\textit{S.约斯特}，数学。结构。计算。科学。32，编号6，729--759（2022；Zbl 1517.68079） 全文： 内政部
托马斯·科特雷尔;藤井秀一郎 Hom weak\（\omega\）-弱\（\omega\）-类别的类别。 （英语） Zbl 1520.18025号 数学。结构。计算。科学。 32，第4号，420-441（2022）. 审核人：亚历山大·普拉豪泽（维也纳） MSC公司：18号65 PDF格式BibTeX公司 XML格式引用 \textit{T.Cottrell}和\textit{S.Fujii}，数学。结构。计算。科学。32，第4号，420--441（2022；Zbl 1520.18025） 全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 单价基础中的双范畴。 （英语） Zbl 1514.18019号 数学。结构。计算。科学。 31，第10号，1232-1269（2021）.MSC公司：18N10型 03B38型 18纳米45 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，《数学》。结构。计算。科学。31，第10号，1232--1269（2021；Zbl 1514.18019） 全文： 内政部
安德斯·莫特伯格 同伦类型理论和单叶基础中的立方方法。 （英语） Zbl 07630472号 数学。结构。计算。科学。 31，第10期，1147-1184（2021）.MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mörtberg}，数学。结构。计算。科学。31，第10号，1147--1184（2021；Zbl 07630472） 全文： 内政部
赫尔穆特·塞德尔;拉尔夫·福格勒 自顶向下解算器的三个改进。 （英语） Zbl 1489.68053号 数学。结构。计算。科学。 31，第9期，1090-1134（2021）.MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{R.Vogler}，数学。结构。计算。科学。31，第9号，1090--1134（2021；Zbl 1489.68053） 全文： 内政部
马克·贝泽姆;可口、蒂埃里;彼得·戴比杰;马丁·埃斯卡多 关于广义代数理论和具有族的范畴。 （英语） Zbl 07547341号 数学。结构。计算。科学。 31，第9期，1006-1023（2021）.MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人，《数学》。结构。计算。科学。31，第9号，1006--1023（2021；Zbl 07547341） 全文： 内政部 arXiv公司
托马斯·斯特里彻 群胚模型的起源。 （英语） Zbl 07547340号 数学。结构。计算。科学。 31，第9号，1003-1005（2021）.MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher}，数学。结构。计算。科学。31，编号9，1003-1005（2021；兹bl 07547340） 全文： 内政部
可口、蒂埃里;费比安·鲁奇;克里斯蒂安·萨特勒 类型理论的构造层模型。 （英语） Zbl 1529.18006号 数学。结构。计算。科学。 31，第9期，979-1002（2021）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18层20 03B38型 18纳米45 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《数学》。结构。计算。科学。31，第9号，979--1002（2021；Zbl 1529.18006） 全文： 内政部 arXiv公司
雅各伯·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼 丰富群胚的基本纤维。 （英语） Zbl 07547338号 数学。结构。计算。科学。 31，第9期，958-978（2021）.MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmenegger}等人，《数学》。结构。计算。科学。31，编号9，958--978（2021；Zbl 07547338） 全文： 内政部
托尔斯滕·阿滕柯奇 马丁·霍夫曼对类型理论的贡献：群胚和单价。 （英语） Zbl 1496.03003号 数学。结构。计算。科学。 31，第9期，953-957（2021）.MSC公司：03-03 01A70号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch}，数学。结构。计算。科学。31，第9号，953--957（2021；Zbl 1496.03003） 全文： 内政部
Bidlingmaier，Martin E。 局部笛卡尔闭范畴模型范畴中依赖型理论的解释。 （英语） Zbl 07527568号 数学。结构。计算。科学。 31，第5号，469-494（2021）.MSC公司：18纳米45 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}，数学。结构。计算。科学。31，第5号，469--494（2021；Zbl 07527568） 全文： 内政部 arXiv公司
西蒙·博利埃;尼古拉斯·塔巴鲁 区间型理论中所有类型宇宙的模型结构。 （英语） Zbl 1529.03124号 数学。结构。计算。科学。 31，第4号，392-423（2021）.MSC公司：03B38型 55单位35 18纳米45 PDF格式BibTeX公司 XML格式引用 \textit{S.Boulier}和\textit{N.Tabarau}，数学。结构。计算。科学。31，第4号，392--423（2021；Zbl 1529.03124） 全文： 内政部
阿列舍·比兹亚克;Ejlers Møgelberg，拉斯姆斯 保护依赖类型理论的表示语义。 （英语） Zbl 1495.68127号 数学。结构。计算。科学。 30，第4期，342-378（2020）.MSC公司：第68季度55 03B38型 18层20 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Bizjak}和\textit{R.Ejlers-Mogelberg}，数学。结构。计算。科学。30，第4号，342--378（2020；Zbl 1495.68127） 全文： 内政部 arXiv公司
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;Ejlers Møgelberg，拉斯姆斯;安德鲁·M·皮茨。;溅出物，Bas 模态从属类型理论和从属右伴随词。 （英语） Zbl 1479.03011号 数学。结构。计算。科学。 30，第2期，118-138（2020年）.MSC公司：03B38型 03B40型 03B45号 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人，数学。结构。计算。科学。30，第2号，118--138（2020；Zbl 1479.03011） 全文： 内政部 arXiv公司
丹·弗鲁明;本诺·范登伯格 有效拓扑中函数可拓性的同伦理论模型。 （英语） Zbl 1422.18005号 数学。结构。计算。科学。 29，第4号，588-614（2019）. 审核人：亚历山大·沃特（吕培克） MSC公司：18对25 03B15号机组 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Frumin}和\textit{B.van den Berg}，数学。结构。计算。科学。29，第4号，588--614（2019；Zbl 1422.18005） 全文： 内政部 arXiv公司
詹姆斯·查普曼;塔尔莫乌斯塔卢;尼科洛·维尔特里 用弱双相似性引用延迟monad。 （英语） Zbl 1407.68306号 数学。结构。计算。科学。 29，第1号，67-92（2019）.MSC公司：68问题65 03B15号机组 68甲18 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Chapman}等人，《数学》。结构。计算。科学。29，第1号，67-92（2019；Zbl 1407.68306） 全文： 内政部
史蒂夫·阿沃迪 同伦类型理论的自然模型。 （英语） Zbl 1456.03023号 数学。结构。计算。科学。 28，第2期，241-286（2018）.MSC公司：03B38型 55单位35 18日第15天 18层20 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}，数学。结构。计算。科学。28，第2号，241--286（2018；Zbl 1456.03023） 全文： 内政部 arXiv公司
弗拉基米尔·萨佐诺夫 在自然连续的非dcpo域上。 （英语） 兹比尔1429.06006 数学。结构。计算。科学。 1521-1552（2017）第8号第27页.MSC公司：06立方厘米35 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Sazonov}，数学。结构。计算。科学。27，第8号，1521--1552（2017；Zbl 1429.06006） 全文： 内政部
克莱门·奥伯特;托马斯·塞勒 通过群体行动表征co-NL。 （英语） Zbl 1362.68084号 数学。结构。计算。科学。 26，第4号，606-638（2016）.MSC公司：2015年第68季度 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{T.Seiller}，数学。结构。计算。科学。26，第4号，606--638（2016；Zbl 1362.68084） 全文： 内政部 arXiv公司
何塞·埃斯皮里托·桑托;拉尔夫·马修斯;Koji Nakazawa;路易斯·平托 经典序列微积分的一元翻译。 （英语） Zbl 1311.68042号 数学。结构。计算。科学。 23，第6期，1111-1162（2013）.MSC公司：68甲18 03B40型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}等人，《数学》。结构。计算。科学。23，第6号，1111--1162（2013；Zbl 1311.68042） 全文： 内政部
帕特里克·贝洛特;乌戈·达尔拉戈;Jean-Yves Moyen 关于准解释、盲抽象和隐含复杂性。 （英语） Zbl 1288.68078号 数学。结构。计算。科学。 22，第4期，549-580（2012）.MSC公司：2015年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}等人，数学。结构。计算。科学。22，第4号，549--580（2012；Zbl 1288.68078） 全文： 内政部
张瑜 计算SLR：关于计算不可区分性的推理逻辑。 （英语） Zbl 1200.94052号 数学。结构。计算。科学。 20，第5期，951-975（2010）.MSC公司：94A60型 03B70号 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}，数学。结构。计算。科学。20，第5号，951--975（2010；Zbl 1200.94052） 全文： 内政部
大卫·卡切拉;托马斯·延森;阿诺·乔宾;帕斯卡·索丁 通过二元体上线性算子的近似进行长期成本分析。 （英语） Zbl 1209.68124号 数学。结构。计算。科学。 20，第4期，589-624页（2010年）.MSC公司：68纳米30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人，数学。结构。计算。科学。20，第4号，589--624（2010；Zbl 1209.68124） 全文： 内政部
马丁斯（Manuel A.Martins）。;唐·皮戈齐 条件方程的行为推理。 （英语） Zbl 1129.68025号 数学。结构。计算。科学。 17，第5期，1075-1113（2007）.MSC公司：68纳米30 03B70号 68甲19 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Martins}和\textit{D.Pigozzi}，数学。结构。计算。科学。17，第5号，1075--1113（2007；Zbl 1129.68025） 全文： 内政部