Varieties and Covarieties of Languages (Extended Abstract). - Jan Rutten; Adolfo Ballester-Bolinches; Enric Cosme-Llópez (MFPS, 2013)

A description based on languages of the final non-deterministic automaton. - Adolfo Ballester-Bolinches; Enric Cosme-Llópez; Ramon Esteban-Romero (Theor. Comput. Sci., 2014)

Regular Varieties of Automata and Coequations. - Julian Salamanca; Adolfo Ballester-Bolinches; Marcello M. Bonsangue; Enric Cosme-Llópez; Jan J. M. M. Rutten (MPC, 2015)

Formations of Monoids, Congruences, and Formal Languages. - Adolfo Ballester-Bolinches; Enric Cosme-Llópez; Ramon Esteban-Romero; Jan J. M. M. Rutten (Sci. Ann. Comput. Sci., 2015)

The dual equivalence of equations and coequations for automata. - Adolfo Ballester-Bolinches; Enric Cosme-Llópez; Jan J. M. M. Rutten (Inf. Comput., 2015)

Eilenberg theorems for many-sorted formations. - Juan Climent Vidal; Enric Cosme-Llópez (CoRR, 2016)

Errata to "Formations of Monoids, Congruences, and Formal Languages". - Adolfo Ballester-Bolinches; Enric Cosme-Llópez; Ramon Esteban-Romero; Jan J. M. M. Rutten (Sci. Ann. Comput. Sci., 2016)

K4-free Graphs as a Free Algebra. - Enric Cosme-Llópez; Damien Pous (MFCS, 2017)

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? - Juan Climent Vidal; Enric Cosme-Llópez (Log. J. IGPL, 2018)

Congruence-based proofs of the recognizability theorems for free many-sorted algebras. - Juan Climent Vidal; Enric Cosme-Llópez (J. Log. Comput., 2020)

Functoriality of the Schmidt construction. - Juan Climent Vidal; Enric Cosme-Llópez (Log. J. IGPL, 2023)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. - Juan Climent Vidal; Enric Cosme-Llópez (CoRR, 2024)

Lallement Functor is a Weak Right Multiadjoint. - Juan Climent Vidal; Enric Cosme-Llópez (Appl. Categorical Struct., 2025)