Publications de
Laurent Méhats, Sergei Soloviev
Coherence in SMCCs and equivalences on derivations in IMLL with unit
Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 147 N. 3, p. 127-179, août 2007.
Laurent Méhats, Sergei Soloviev
Permutability of Inferences and Categorical Equivalence of Derivations in IMLL.
Dans : Vestnik Tverskogo Gosudarstvennogo Universiteta (Communications de l’université de Tver, Russie), Université de Tver (Russie), Vol. 6, N. 12, p. 27-44, décembre 2005.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
Categorical Semantics and Non-Free Categories. (regular paper)
Dans : 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, (support électronique), 2009.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On Categories of Semimodules over Semirings and Varieties of Closed Categories (regular paper)
Dans : 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, p. 89-95, avril 2009.
Laurent Méhats, Sergei Soloviev
Equivalence Relations on Derivations and Categorical Models of IMLL
Dans : 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, p. 337-349, juillet 2004.
Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky
On varieties of closed categories and dependency of diagrams of canonical maps.
Dans : Proofs, Categories and Computations. Essays in Honor of Grigori Mints.. Solomon Feferman, Wilfried Sieg (Eds.) , College Publications, p. 70-85, 2010.
Théorie de la preuve des catégories monoidales symétriques fermées: cohérence et equivalence de derivations.
Thèse de doctorat, Université Paul Sabatier, décembre 2005.