L. Méhats

Categorical interpretation of logical derivations and its applications in algebra

S. Soloviev, M. Spivakovsky, A. Khoury, 2010 .

Categorical Semantics and Non-Free Categories

S. Soloviev, M. Spivakovsky, A. Khoury, 2009 .

On varieties of closed categories and dependency of diagrams of canonical maps

S. Soloviev, M. Spivakovsky, A. Khoury, 2009 .

Coherence in SMCCS and equivalences on derivations in IMLL with unit

Sergei Soloviev, L. Méhats, S. Soloviev, 2007, Ann. Pure Appl. Log..