提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/abs-2402-12051澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。JO-CoRR公司VL-abs/2402.120512024年上半年//DO-10.448550/网址2402.112051UR-（欧元）https://doi.org/10.48550/arXiv.2402.12051急诊室-TY-JOUR公司ID-DBLP:期刊/igpl/VidalC23澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司TI-施密特构造的功能性。JO-日志。J.IGPL公司VL-31IS-5标准SP-822EP-893PY-2023/09年/DO-10.1093/JIGPAL/JZAC048UR-（欧元）https://doi.org/10.1093/gigpal/jzac048急诊室-TY-JOUR公司ID-DBLP:journals/logcom/VidalC20澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司自由多排序代数可识别性定理的基于TI-同余的证明。JO-J.日志。计算。VL-30IS-2SP-561EP-6332020年上半年//DO-10.1093/LOGCOM/EXZ032UR-（欧元）https://doi.org/10.1093/logcom/exz032UR-（欧元）https://www.wikidata.org/entity/Q113818620急诊室-TY-JOUR公司ID-DBLP:期刊/igpl/VidalC18澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司有限多分类代数的超积的超限多分类代数何时收缩？JO-日志。J.IGPL公司VL-26IS-4标准SP-381EP-4072018年上半年//DO-10.1093/JIGPAL/JZY005UR-（欧元）https://doi.org/10.1093/jigpal/jzy005急诊室-TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1808-08217澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司基于TI-同余的自由多分类代数可识别性定理的证明。JO-CoRR公司VL-abs/1808.082172018年上半年//UR-（欧元）http://arxiv.org/abs/11808.08217急诊室-TY-非正式或其他出版物ID-DBLP:期刊/corr/VidalC16澳大利亚-维达尔，胡安·克莱门特AU-Cosme-Llópez，Enric公司多类地层的TI-Eilenberg定理。JO-CoRR公司VL-绝对值/1604.047922016年上半年//UR-（欧元）http://arxiv.org/abs/1604.04792急诊室-TY-JOUR公司ID-DBLP:期刊/rml/VidalT10澳大利亚-维达尔，胡安·克莱门特AU-Tur，Juan Soliveres公司TI-多分类等式逻辑的语法和语义的双范畴框架。JO-数学报告。日志。VL-45SP-37第95页2010年上半年//UR-（欧元）https://rml.tcs.uj.edu.pl/rml-45/03-气候.pdf急诊室-TY-JOUR公司ID-DBLP:期刊/sLogica/VidalT10澳大利亚-维达尔，胡安·克莱门特AU-Tur，Juan Soliveres公司TI——制度概念的两类概括。JO-Stud Logica公司VL-95IS-3标准SP-301型EP-3442010年上半年//DO-2007年10月10日/S11225-010-9268-0UR-（欧元）https://doi.org/10.1007/s11225-010-9268-0急诊室-TY-JOUR公司ID-DBLP:期刊/ndjfl/TurV08AU-Tur，Juan Soliveres公司澳大利亚-维达尔，胡安·克莱门特TI-Lindenbaum-Tarski函数、图解解释和句子逻辑之间的伴随圆柱。JO-圣母院J.正式日志。VL-49IS-2SP-185EP-2022008年上半年//DO-10.1215/00294527-2008-007UR-（欧元）https://doi.org/10.1215/00294527-2008-007急诊室-TY-JOUR公司ID-DBLP:日记帐/rml/VidalT06澳大利亚-维达尔，胡安·克莱门特AU-Tur，Juan Soliveres公司关于多元等式逻辑的完备性定理及霍尔代数与贝纳布理论的等价性。JO-数学报告。日志。VL-40第127页EP-1582006年上半年//UR-（欧元）https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf急诊室-