@文章{DBLP:journals/corr/abs-2402-12051，author={Juan Climent Vidal和恩里克·科斯姆{-}左旋｛\'｛o｝｝pez｝，title={从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构}，日志={CoRR}，体积={abs/2402.12051}，年份={2024}，url={https://doi.org/10.48550/arXiv.2402.12051},doi={10.48550/ARXIV.2402.12051}，eprinttype＝{arXiv}，eprint={2402.12051}，timestamp={2024年3月22日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/corr/abs-2402-12051.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/igpl/VidalC23，author={Juan Climent Vidal和恩里克·科斯姆{-}左旋{\'{o}}pez}，title={Schmidt构造的功能}，日志={Log.J.{IGPL}}，体积={31}，数字={5}，页数={822--893}，年份={2023}，url={https://doi.org/10.1093/gigpal/jzac048},doi={10.1093/JIGPAL/JZAC048}，timestamp={2023年11月10日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/igpl/VidalC23.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/logcom/VidalC20，author={Juan Climent Vidal和恩里克·科斯梅{-}左旋{\'{o}}pez}，自由多排序可识别性定理的基于同余的证明代数}，日志={J.Log.Comput.}，体积={30}，数字={2}，页数={561--633}，年份={2020年}，url={https://doi.org/10.1093/logcom/exz032},doi={10.1093/LOGCOM/EXZ032}，timestamp={2023年8月28日星期一01:00:00+0200}，biburl={https://dblp.org/rec/journals/logcom/VidalC20.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/igpl/VidalC18，author={Juan Climent Vidal和恩里克·科斯姆{-}左旋{\'{o}}pez}，title={超积的超限多分类代数何时收缩有限多排序代数？}，日志={Log.J.{IGPL}}，体积={26}，数字={4}，页数={381--407}，年份={2018年}，url={https://doi.org/10.1093/jigpal/jzy005},doi={10.1093/JIGPAL/JZY005}，timestamp={2020年3月6日星期五00:00:00+0100}，biburl={https://dblp.org/rec/journals/igpl/VidalC18.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/abs-1808-08217，author={Juan Climent Vidal和恩里克·科斯姆{-}左旋{\'{o}}pez}，title={基于同余的自由多分类可识别定理的证明代数}，日志={CoRR}，体积={abs/1808.08217}，年份={2018年}，url={http://arxiv.org/abs/11808.08217},eprinttype＝{arXiv}，eprint={1808.08217}，timestamp={2018年9月2日，星期日01:00:00+0200}，biburl={https://dblp.org/rec/journals/corr/abs-1808-08217.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/corr/VidalC16，author={Juan Climent Vidal和恩里克·科斯姆{-}左旋｛\'｛o｝｝pez｝，title={多种排列的艾伦伯格定理}，日志={CoRR}，体积={abs/1604.04792}，年份={2016年}，url={http://arxiv.org/abs/1604.04792},eprinttype＝{arXiv}，eprint＝{1604.04792}，时间戳＝｛2018年8月13日星期一01:00:00+0200｝，biburl={https://dblp.org/rec/journals/corr/VidalC16.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/rml/VidalT10，author={Juan Climent Vidal和Juan Soliveres Tur}，title={many-sorted的语法和语义的双范畴框架等式逻辑}，journal={Reports Math.Log.}，体积={45}，页数={37--95}，年份={2010}，url={https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf},timestamp={2021年12月8日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/rml/VidalT10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/sLogica/VidalT10，author={Juan Climent Vidal和Juan Soliveres Tur}，title={制度概念的二分类推广}，日志={Stud Logica}，体积={95}，数字={3}，页数={301--344}，年份={2010}，url={https://doi.org/10.1007/s11225-010-9268-0},doi={10.1007/S11225-010-9268-0}，timestamp={2020年9月1日星期二01:00:00+0200}，biburl={https://dblp.org/rec/journals/sLogica/VidalT10.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/ndjfl/TurV08，author={Juan Soliveres Tur和胡安·克莱门特·维达尔（Juan Climent Vidal），title={Lindenbaum-Tarski的函数、图解解释和伴随句子逻辑之间的柱面}，journal={圣母院J.正式日志.}，体积={49}，数字={2}，页数={185--202}，年份={2008}，url={https://doi.org/10.1215/00294527-2008-007},doi={10.1215/00294527-2008-007}，timestamp={2020年5月21日星期四01:00:00+0200}，biburl={https://dblp.org/rec/journals/ndjfl/TurV08.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
@文章{DBLP:journals/rml/VidalT06，作者＝{Juan Climent Vidal和Juan Soliveres Tur}，title={关于多元等式逻辑的完备性定理和Hall代数与B｛\'｛e｝｝nabou理论之间的等价性，journal={Reports Math.Log.}，体积={40}，页数={127--158}，年份={2006}，url={https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf},timestamp={2021年12月8日星期三00:00:00+0100}，biburl={https://dblp.org/rec/journals/rml/VidalT06.bib},bibsource={dblp计算机科学书目，网址：https://dblp.org}}
