Alcántara，Maigan S.da S。;蒂亚戈·迪亚斯;威尔逊·R·德奥利维拉。;西尔维奥·德·梅洛 （mathbb{L}）-模糊关系的范畴性质综述。 （英语） Zbl 1522.18004号 模糊集系统。 425, 62-82 (2021).MSC公司：18个B05 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{M.S.da S.Alcántara}等人，模糊集系统。42562--82（2021；Zbl 1522.18004） 全文： 内政部
Jean-Simon，Pacaud Lemay 提升联合模型和MELL公司模型结构到Eilenberg-Moore类别。 （英语） Zbl 1454.03083号 日志。方法计算。科学。 15，第4号，第8号论文，50页（2019年）.MSC公司：03楼52 03G30型 18立方厘米20 2005年5月18日 PDF格式BibTeX公司 XML格式引用 \textit{J.-S.Pacaud Lemay}，日志。方法计算。科学。15，第4号，第8号论文，50页（2019年；Zbl 1454.03083） 全文： arXiv公司
北彦浩弘 附加类别上的部分跟踪。 （英语） Zbl 1528.18009号 Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 219-237 (2018).MSC公司：18E05型 03楼52 03G30型 18E10型 PDF格式BibTeX公司 XML格式引用 \textit{N.Hoshino}，电子。理论注释。计算。科学。341219--237（2018；Zbl 1528.18009） 全文： 内政部
Jean-Simon Pacaud Lemay女士 将余代数模型和IMELL模型结构提升到Eilenberg-Moore类别。 （英语） Zbl 1469.03167号 Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第21条，第20页（2018年）。MSC公司：03楼52 03G30型 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{J.-S.P.Lemay}，LIPIcs——莱布尼茨国际程序。通知。108，第21条，第20页（2018；Zbl 1469.03167） 全文： 内政部
卢卡·保里尼;毛罗·皮科洛;卢卡·罗维斯 对可逆编程语言的认证研究。 （英语） Zbl 1433.68080号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第7条，第21页（2018年）。MSC公司：68甲15 18 C50 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Paolini}等人，LIPIcs——莱布尼茨国际程序。通知。69，第7条，21 p.（2018；Zbl 1433.68080） 全文： 内政部
松冈佐治 线性lambda演算上的强型Böhm定理和函数完备性。 （英语） 兹伯利1486.03033 Atkey，Robert（ed.）等人，《第六届数学结构函数编程研讨会论文集》，2016年MSFP，荷兰埃因霍温，2016年4月8日。滑铁卢：开放出版协会（OPA）。电子。程序。理论。计算。科学。（EPTCS）207，1-22（2016）。MSC公司：03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Matsuoka}，电子。程序。理论。计算。科学。（EPTCS）207，1--22（2016；Zbl 1486.03033） 全文： arXiv公司 链接
威廉·斯坦加特纳;Radaković，达沃卡;瓦尔科沙克，弗兰蒂舍克;帕沃尔·麦科 余代数及其在计算机科学中的一些性质。 （英语） Zbl 07328058号 J.应用。数学。计算。机械。 15，第4期，145-156（2016）.MSC公司：18A22型 PDF格式BibTeX公司 XML格式引用 \textit{W.Steingartner}等人，J.Appl。数学。计算。机械。15，第4号，145--156（2016；Zbl 07328058） 全文： 内政部 OA许可证
克莱顿·彼得森 单体逻辑和子结构逻辑的比较。 （英语） Zbl 1398.03101号 J.应用。非类别。日志。 26，第2期，126-159（2016）.MSC公司：03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \文本｛C.Peterson｝，J.Appl。非类别。日志。26，第2号，126--159（2016；Zbl 1398.03101） 全文： 内政部
威廉·斯坦加特纳;安德烈·波拉科娃;彼得·普拉扎克;瓦莱丽·诺维茨卡 计算机科学中的线性逻辑。 （英语） Zbl 07251877号 J.应用。数学。计算。机械。 14，第1期，91-100（2015）.MSC公司：68倍 03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{W.Steingartner}等人，J.Appl。数学。计算。机械。14，第1号，91--100（2015；Zbl 07251877） 全文： 内政部 OA许可证
克莱顿·彼得森 反责任推理：一种明确的方法。 （英语） Zbl 1357.03056号 日志。Univers大学。 9，第1期，47-92（2015）. 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson}，日志。Univers大学。9，第1号，47-92（2015；Zbl 1357.03056） 全文： 内政部
克莱顿·彼得森 范畴命令：作为道义逻辑基础的范畴理论。 （英语） Zbl 1395.03010号 J.应用。日志。 12，第4期，417-461（2014）.MSC公司：03B45号 18B99型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Peterson}，J.应用。日志。12，第4号，417--461（2014；Zbl 1395.03010） 全文： 内政部
马尔辛·沃尔斯基 关于近集的基础：（前）层理论方法。 （英语） Zbl 1262.68167号 数学。计算。科学。 7，第1期，125-136（2013）.MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.沃尔斯基}，数学。计算。科学。7，编号1，125--136（2013；Zbl 1262.68167） 全文： 内政部 OA许可证
科斯塔·多森;佐兰·佩特里奇 线性谓词逻辑中的一致性。 （英语） Zbl 1168.03046号 Ann.纯粹应用。逻辑 158，编号1-2，125-153（2009）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03楼52 05年3月 18甲15 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{K.Došen}和\textit{Z.Petrić}，Ann.Pure Appl。逻辑158，编号1--2，125-153（2009；Zbl 1168.03046） 全文： 内政部 arXiv公司
彼得·海恩斯 机器语义。 （英语） Zbl 1157.68045号 理论。计算。科学。 409，第1号，1-23（2008）.MSC公司：68问题55 第68季度01 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Hines}，Theor。计算。科学。409，编号1，1--23（2008；Zbl 1157.68045） 全文： 内政部
Méhats，L。;索洛维耶夫，S。 SMCC中的一致性和IMML中单位导数的等价性。 （英语） Zbl 1117.18005号 Ann.纯粹应用。逻辑 147，第3期，第127-179页（2007年）.MSC公司：18日第15天 18甲15 03楼52 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Méhats}和\textit{S.Soloviev}，Ann.Pure Appl。逻辑147，No.3，127--179（2007；Zbl 1117.18005） 全文： 内政部