Publications de
Sergey 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.