Bidlingmaier，Martin E。；弗洛里安·费索尔；溅出物，Bas 概率规划同伦类型理论中的合成拓扑。 （英语） Zbl 1517.68072号 数学。结构。计算。科学。 31，第10号，1301-1329（2021）.MSC公司：68甲19 03B38型 03层60 2012年2月6日 18对25 18个C20 18 C50 18号45 第28页，共15页 55单位35 68号30 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Bidlingmaier}等人，《数学》。结构。计算。科学。31，第10号，1301--1329（2021；Zbl 1517.68072） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特；北，Paige Randall；迈克尔·舒尔曼；迪米特里斯·泽梅齐斯 更高层次的结构同一性原理。 （英语） 兹比尔1498.03027 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。53-66 (2020).MSC公司：03B38型 55单位35 03楼50 18号45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，in：2020年第35届ACM/IEEE计算机科学逻辑年会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。53-66（2020年；Zbl 1498.03027） 全文： DOI程序 arXiv公司
罗宾·贝尔顿；罗宾·布鲁克斯；斯特凡妮亚·埃布利；莉丝·法斯特鲁普；布列塔尼·特雷泽·法西；凯瑟琳·雷；妮可·桑德森；伊丽莎白·维多尔 定向湿陷性（研究）。 （英语） Zbl 1440.55013号 Acu，Bahar（编辑）等人，《数学科学进展》。AWM研究研讨会，美国德克萨斯州休斯顿，2019年4月6日至7日。查姆：斯普林格。女性数学协会。序列号。21, 255-271 (2020).MSC公司：55页99 68问题85 68号30 55页第10页 05年第57季度 2010年第57季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Belton}等人，女性数学协会。序列号。21255-271（2020；Zbl 1440.55013） 全文： DOI程序 arXiv公司 链接
Krzysztof，Zimiañski 前立方体集合上的有向路径空间2。 （英语） Zbl 1436.55014号 J.应用。计算。白杨。 4，第1期，45-78（2020年）. 审核人：菲利普·高彻（巴黎） MSC公司：55页第15页 第55页 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Zimiaáski}，J.Appl。计算。白杨。4，第1号，45--78（2020；Zbl 1436.55014） 全文： DOI程序 arXiv公司
托马斯·卡尔 高维自动机的标记同源性。 （英语） Zbl 1423.55006号 J.应用。计算。白杨。 2，编号3-4，271-300（2018）.MSC公司：55纳米35 55单元15 68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahl}，J.Appl（J.应用程序）。计算。白杨。2、编号3--4、271--300（2018；Zbl 1423.55006） 全文： DOI程序 arXiv公司 链接
彼得·弗兰克；马雷克·克查尔 零集的持久性。 （英语） Zbl 1386.55002号 同源同伦应用。 19，第2期，313-342（2017）. 审核人：马西莫·费里（博洛尼亚） MSC公司：55-04 65G20个 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Franek}和\textit{M.Král}，同源同伦应用。19，第2号，313--342（2017；Zbl 1386.55002） 全文： DOI程序 arXiv公司
卡洛·安吉利；爱德华·莫尔豪斯；丹尼尔·李卡塔（Daniel R.Licata）。；罗伯特·哈珀 同源斑块理论。 （英语） Zbl 1420.68060号 J.功能。程序。 26，论文编号e18，45 p.（2016）.MSC公司：68号30 03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}等人，J.Funct。程序。26，论文编号e18，第45页（2016；兹bl 1420.68060） 全文： DOI程序
拉尔斯·比克达尔；阿列舍·比兹亚克；拉纳德·克鲁斯顿；汉斯·布格·格雷斯沃尔；溅出物，Bas；安德烈亚·维佐西 保护立方类型理论：保护递归的路径相等。 （英语） Zbl 1370.68052号 Regnier，Laurent（编辑）等人，2016年8月29日至9月1日，法国马赛CSL’16，第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-022-4）。LIPIcs–莱布尼茨国际信息学学报62，第23条，第17页。(2016).MSC公司：68号30 03B15号机组 03B70号 03G30型 55单位40 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人，LIPIcs——莱布尼茨国际程序。通知。62，第23条，第17页（2016；Zbl 1370.68052） 全文： DOI程序 arXiv公司
莉丝·法斯特鲁普；埃里克·古堡；埃曼纽尔·豪科特；塞缪尔·米姆拉姆；马丁·劳森 [莫里斯·赫利希] 有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。 （英语） Zbl 1338.68003号 施普林格应用科学与技术简介数学方法。查姆：施普林格（ISBN 978-3-319-15397-1/pbk；978-3-316-15398-8/电子书）。xi，167页。(2016). 审核人：Ioan Pop（伊阿什） MSC公司：68-02 55-01 18B30型 54个F05 55页99 55单位10 55单位35 55单位40 68号30 68问题55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛L.Fajstrup｝等人，有向代数拓扑和并发。有莫里斯·赫利希的前言和塞缪尔·米姆拉姆的前言。查姆：斯普林格（2016；Zbl 1338.68003） 全文： DOI程序
卡洛·安吉利；爱德华·莫尔豪斯；丹尼尔·李卡塔（Daniel R.Licata）。；罗伯特·哈珀 同源斑块理论。 （英语） Zbl 1345.68093号 2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。243-256 (2014).MSC公司：68号30 03B15号机组 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}等人，in：第19届ACM SIGPLAN函数编程国际会议论文集，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机协会（ACM）。243-256（2014；Zbl 1345.68093） 全文： DOI程序
兰班，L。；J.鲁比奥。；马丁·马特奥斯（F.J.Martín-Mateos）。；鲁伊斯·雷纳，J.L。 验证单纯拓扑与代数之间的桥梁：Eilenberg-Zilber算法。 （英语） Zbl 1305.68157号 日志。J.IGPL公司 22，第1号，39-65（2014）.MSC公司：68吨15 55-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambán}等人，日志。J.IGPL 22，第1期，第39--65页（2014；Zbl 1305.68157） 全文： DOI程序 链接
朱利奥·鲁比奥 关于形式化在计算数学中的作用。 （英语） Zbl 1274.68415号 牛市。贝尔格。数学。Soc.-西蒙·斯特文 20，第3期，385-403（2013）.MSC公司：68吨15 55-04 68瓦30 92 C55 PDF格式BibTeX公司 XML格式引用 \textit{J.Rubio}，公牛。贝尔格。数学。Soc.-Somon Stevin 20，No.3，385--403（2013；Zbl 1274.68415） 全文： 欧几里得
丹尼尔·李卡塔（Daniel R.Licata）。；罗伯特·哈珀 二维定向类型理论。 （英语） Zbl 1343.03051号 Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276263-289（2011）。MSC公司：03G30型 03B15号机组 18D05日 55单位40 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Licata}和\textit{R.Harper}，电子。注释Theor。计算。科学。276263-289（2011年；Zbl 1343.03051） 全文： DOI程序
塞萨尔·多明格斯；朱利奥·鲁比奥 Coq中形式化的双复数的有效同源性。 （英语） Zbl 1207.68211号 西奥。计算。科学。 412，第11期，962-970（2011）.MSC公司：68问题65 55单元15 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio}，Theor。计算。科学。412，第11号，962--970（2011；Zbl 1207.68211） 全文： DOI程序
埃里克·古堡；埃曼纽尔·豪科特；克里希南，桑杰维 有向拓扑的覆盖空间理论。 （英语） 兹比尔1181.55014 理论应用。类别。 22, 252-268 (2009). 审核人：Lisbeth Fajstrup（奥尔堡） MSC公司：55页99 54E99型 54个F05 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}等人，理论应用。类别。22252--268（2009年；Zbl 1181.55014） 全文： arXiv公司 欧洲DML EMIS公司
马丁·劳森 有向空间的不变量。 （英语） Zbl 1134.55009号 申请。类别。结构。 15，第4期，355-386（2007）. 审核人：菲利普·高彻（巴黎） MSC公司：55页99 18A32飞机 2005年第55季度 55单位40 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Raussen}，应用程序。类别。结构。15，第4号，355--386（2007；Zbl 1134.55009） 全文： DOI程序 链接
费斯特鲁普，L。；M.劳森。；古堡，E。；E.豪科特。 基本类别的组成部分。 （英语） Zbl 1078.55020号 申请。类别。结构。 12，第1期，81-108（2004）.MSC公司：55单位40 18A32飞机 54个F05 2005年第55季度 68号30 68问题85 55页99 PDF格式BibTeX公司 XML格式引用 \textit{L.Fajstrup}等人，应用。类别。结构。12，编号1，81--108（2004；Zbl 1078.55020） 全文： DOI程序
埃里克·古堡 并发理论中的一些几何观点。 （英语） Zbl 1034.68059号 同源同伦应用。 第5期，第2期，95-136页（2003年）.MSC公司：68问题85 18层20 54个F05 55页第15页 55单位10 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}，同调同伦应用。5，第2号，95--136（2003；Zbl 1034.68059） 全文： DOI程序 欧洲DML EMIS公司