Juan Climent Vidal
According to our database1,
Juan Climent Vidal
authored at least 9 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms.
CoRR, 2024
2023
2020
Congruence-based proofs of the recognizability theorems for free many-sorted algebras.
J. Log. Comput., 2020
2018
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
Log. J. IGPL, 2018
2016
2010
A 2-categorical framework for the syntax and semantics of many-sorted equational logic.
Reports Math. Log., 2010
2008
Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.
Notre Dame J. Formal Log., 2008
2006
On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories.
Reports Math. Log., 2006