Publications of
Laurent Méhats, Sergei Soloviev
Coherence in SMCCs and equivalences on derivations in IMLL with unit
In : Annals of Pure and Applied Logics, Elsevier, Vol. 147 N. 3, pp. 127-179, August 2007.
Laurent Méhats, Sergei Soloviev
Permutability of Inferences and Categorical Equivalence of Derivations in IMLL.
In : Vestnik Tverskogo Gosudarstvennogo Universiteta (Communications de l’université de Tver, Russie), Université de Tver (Russie), Vol. 6, N. 12, pp. 27-44, December 2005.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
Categorical Semantics and Non-Free Categories. (regular paper)
In : European Summer School in Language and Informatics (ESSLI-09) – Workshop Structure and Deduction (SD-09), Bordeaux, 20/07/09-31/07/09, Lutz Srassburger (Eds.), Université de Bordeaux, (electronic medium), 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On Categories of Semimodules over Semirings and Varieties of Closed Categories (regular paper)
In : Polynomial Computer Algebra, St. Petersbourg, 08/04/09-12/04/09, Nicolai Vassiliev (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, pp. 89-95, April 2009.
Laurent Méhats, Sergei Soloviev
Equivalence Relations on Derivations and Categorical Models of IMLL
In : Seventh International Workshop on Computer Algebra in Scientific Computing (CASC-2004), St.Petersburg, Russia, 12/07/04-19/07/04, V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, pp. 337-349, July 2004.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On varieties of closed categories and dependency of diagrams of canonical maps.
In : Proofs, Categories and Computations. Essays in Honor of Grigori Mints.. Solomon Feferman, Wilfried Sieg (Eds.) , College Publications, pp. 70-85, 2010.
Théorie de la preuve des catégories monoidales symétriques fermées: cohérence et equivalence de derivations.
Master’s Thesis, Université Paul Sabatier, December 2005.