Publications de
Sergey Baranov, Sergei Soloviev
Conditionally Reversible Computations and Weak Universality in the Category Theory
Dans : Zapiski Nauchnyh Seminarov POMI (Comptes-rendus de Seminaires de l’Institut Mathematique Steklov, St. Petersbourg Division), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, St Petersburg – Russia, Numéro spécial Theory of Representations, Dynamical Systems and Combinatorial Methods, Vol. 421, p. 19-33, février 2014.
Accès : ftp://ftp.pdmi.ras.ru/pub/publicat/znsl/v421/p019.pdf
BibTeXSergey Baranov, Sergei Soloviev
Equality in Lambda Calculus, Weak Universality in Category Theory and Reversible Computations.
Dans : Cahiers de Topologie et Géometrie Différentielle Catégorique, Ed. A. Charles Ehresmann, Amiens – France, Vol. LIV N. 4, p. 264-291, décembre 2013.
Accès : http://www.irit.fr/~Sergei.Soloviev/guitard_wu1.pdf
BibTeX
Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev
Typed Lambda Terms in Categorical Graph Rewriting (regular paper)
Dans : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/11-22/04/11, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, p. 9-17, avril 2011.