安德鲁·皮特斯（Andrew M.Pitts）。;南卡罗来纳州斯坦坎普。 使用膨胀迭代构造初始代数。 （英语） Zbl 1530.18006号 Kishida，Kohei（编辑），《2021年第四届应用范畴理论国际会议论文集》，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37288-102（2022）。MSC公司：18A40型 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts}和\textit{S.C.Steenkamp}，电子。程序。西奥。计算。科学。（EPTCS）372，88--102（2022；Zbl 1530.18006） 全文： arXiv公司 链接
安德鲁·斯旺。 Zermelo-Fraenkel集合理论中的一类高级归纳类型。 （英语） Zbl 1521.03025号 数学。日志。问：。 68，编号1，118-127（2022）.MSC公司：03B38型 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Swan}，数学。日志。问68，第1号，118--127（2022；Zbl 1521.03025） 全文： 内政部 arXiv公司 OA许可证
菲利普·舒斯特;Brachthäuser，乔纳森·伊曼纽尔;克劳斯·奥斯特曼 基于区域的资源管理和连续传递样式的词法异常处理程序。 （英语） Zbl 1528.68052号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 492-519 (2022).MSC公司：68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Schuster}等人，Lect。注释计算。科学。13240，492--519（2022；Zbl 1528.68052） 全文： 内政部 OA许可证
杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格，比尔特;汤姆·施里杰弗斯 范围效应的结构化处理。 （英语） Zbl 1528.68088号 Sergey，Ilya（编辑），《编程语言与系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).MSC公司：68号30 18 C50 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088） 全文： 内政部 arXiv公司 OA许可证
Niels F.W.Voorneveld。 交错代数效果的跑步者。 （英语） Zbl 07719845号 Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 407-424 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.F.W.Voorneveld}，莱克特。注释计算。科学。13572，407--424（2022；Zbl 07719845） 全文： 内政部
宋亚辉;大流士·富;魏恩根·钦 代数效应的自动时间验证。 （英语） Zbl 1524.68103号 谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年12月5日，第20届亚洲研讨会，APLAS 2022，新西兰奥克兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 88-109 (2022).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Song}等人，Lect。注释计算。科学。13658、88-109（2022年；Zbl 1524.68103） 全文： 内政部 链接
埃里克·帕尔姆格伦 从类型理论到刚毛，再到反面。 （英语） 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 1506.68051号 数学。结构。计算。科学。 32，第4号，374-419（2022）.MSC公司：68问题55 18A40型 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner}，数学。结构。计算。科学。32，编号4，374--419（2022；Zbl 1506.68051） 全文： 内政部 arXiv公司
达米尔·扎法罗夫。;丹尼斯·赫施费尔特（Denis R.Hirschfeldt）。;莎拉·雷泽斯 约简游戏，可证明性和紧性。 （英语） Zbl 07632518号 数学杂志。日志。 22，第3号，文章ID 2250009，37 p.（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov}等人，J.Math。日志。22，第3号，文章ID 2250009，37页（2022；Zbl 07632518） 全文： 内政部 arXiv公司
英戈·布莱希施密特;彼得·舒斯特 可数环中的极大理想，建设性的。 （英语） Zbl 1524.13008号 Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。第18届欧洲可计算性会议，2022年7月11日至15日，英国斯旺西，CiE 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 24-38 (2022). 审核人：亚历山大·莱文（华盛顿特区） MSC公司：13甲15 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{I.Blechschmidt}和\textit{P.Schuster}，莱克特。注释计算。科学。13359，24-38（2022；Zbl 1524.13008） 全文： 内政部 arXiv公司
达格·诺曼;山姆·桑德斯 关于\（\mathbb{R}\）的不可数性。 （英语） Zbl 1523.03004号 J.塞姆。日志。 87，第4期，1474-1521（2022）. 审核人：杰弗里·赫斯特（布恩） MSC公司：03B30型 35楼03号 03D65年 03D55号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann}和\textit{S.Sanders}，J.Symb。日志。87，第4号，1474--1521（2022；Zbl 1523.03004） 全文： 内政部 arXiv公司
亨莱因，弗里茨;罗宾·卡斯加德;米克尔·克拉·马西森 代数：可逆性的代数方法。 （英语） Zbl 07615946号 Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 128-145 (2022).MSC公司：2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Henglein}等人，Lect。注释计算。科学。13354，128--145（2022；Zbl 07615946） 全文： 内政部
英戈·布莱希施密特 探索定制数学世界中的数学对象。 （英语） Zbl 07598436号 Oliveri，Gianluigi（编辑）等人，《对象、结构和逻辑》。FilMat研究数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。339, 63-95 (2022).MSC公司：03年XX月 00A30型 PDF格式BibTeX公司 XML格式引用 \textit{I.Blechschmidt}，波士顿Stud.Philos。历史。科学。339，63-95（2022；Zbl 07598436） 全文： 内政部 arXiv公司
聪，又有;石雄，恰基;卡霍本田;浅井贤一 类型化调用上下文的函数抽象。 （英语） Zbl 07596582号 日志。方法计算。科学。 18，第3号，第34号论文，第31页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Cong}等人，Log。方法计算。科学。18，第3号，第34号论文，第31页（2022；Zbl 07596582） 全文： 内政部 arXiv公司 OA许可证
陈少石;侯庆虎;黄慧;乔治·拉巴恩;王荣华 为三个离散变量中的有理函数构造最小伸缩器。 （英语） Zbl 1504.33017号 高级申请。数学。 141，文章ID 102389，31 p.（2022）. 审核人：Christoph Koutschen（林茨） MSC公司：33层10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}等人，高级应用程序。数学。141，文章ID 102389，31 p.（2022；Zbl 1504.33017） 全文： 内政部 arXiv公司
乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 主教布景的立体语言。 （英语） Zbl 07566056号 日志。方法计算。科学。 18，第1号，第43号论文，80页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Sterling}等人，日志。方法计算。科学。18，第1号，第43号论文，80页（2022；Zbl 07566056） 全文： arXiv公司 链接
塞利亚·博利多;布雷特·麦克莱恩 偏函数的差分限制代数：公理化和表示。 （英语） Zbl 07556313号 代数大学。 83，第3期，第24号论文，27页（2022年）.MSC公司：03G10年 2012年6月 06至75 PDF格式BibTeX公司 XML格式引用 \textit{C.Borlido}和\textit{B.McLean}，代数大学。83，第3号，第24号论文，第27页（2022；Zbl 07556313） 全文： 内政部 arXiv公司
扬尼克·福斯特 参数丘奇的论文：无选择的综合可计算性。 （英语） Zbl 07551712号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 70-89 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}，莱克特。注释计算。科学。13137，70-89（2022；Zbl 07551712） 全文： 内政部 arXiv公司
罗伯特·刘易斯。;吴敏超 Lean和Mathematica之间的双向可扩展接口。 （英语） Zbl 07538895号 J.汽车。推理 66，第2期，215-238（2022）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Y.Lewis}和textit{M.Wu}，J.Autom。推理66，No.2，215--238（2022；Zbl 07538895） 全文： 内政部 arXiv公司
塞利亚·博利多;布雷特·麦克莱恩 带算子的部分函数的微分限制代数：离散对偶和完备。 （英语） Zbl 1521.08002号 J.代数 604, 760-789 (2022). 审核人：比扬·达瓦兹（亚兹德） MSC公司：08A05号 08A55号 18B10型 PDF格式BibTeX公司 XML格式引用 \textit｛C.Borlido｝和\textit｛B.McLean｝，《代数》604、760——789（2022；Zbl 1521.08002） 全文： 内政部 arXiv公司
山姆·桑德斯 可数集合与逆向数学中的可数集合。 （英语） Zbl 07481740号 可计算性 11，第1号，9-39（2022）.MSC公司：03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Sanders}，可计算性11，No.1，9-39（2022；Zbl 07481740） 全文： 内政部 arXiv公司
安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel） 一种用于依赖类型理论的可扩展等式检查算法。 （英语） Zbl 1504.68276号 日志。方法计算。科学。 18，第1号，第17号论文，42页（2022年）.MSC公司：68伏15 03B38型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bauer｝和\textit｛A.PetkovićKomel｝，日志。方法计算。科学。18，第1号，第17号论文，42页（2022年；Zbl 1504.68276） 全文： arXiv公司 链接
弗朗西斯科·西罗洛 \（\sigma）-正式拓扑中的区域设置。 （英语） Zbl 07471696号 日志。方法计算。科学。 18，第1号，第7号文件，第14页（2022）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}，日志。方法计算。科学。18，第1号，第7号论文，第14页（2022；Zbl 07471696） 全文： arXiv公司 链接