Publications of
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.
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.
Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoidales fermées libres et non-libres
Master’s Thesis, Université Paul Sabatier, December 2010.