Bibtex de la publication

@Article{ BaSo2013.1,
author = {Baranov, Sergey and Soloviev, Sergei},
title = "{Equality in Lambda Calculus, Weak Universality in Category Theory and Reversible Computations.}",
journal = {Cahiers de Topologie et Géometrie Différentielle Catégorique},
publisher = {Ed. A. Charles Ehresmann},
address = {http://ehres.pagesperso-orange.fr/Cahiers/Ctgdc.htm},
year = {2013},
month = {décembre},
volume = {LIV},
number = {4},
pages = {264--291},
language = {anglais},
URL = {http://www.irit.fr/~Sergei.Soloviev/guitard_wu1.pdf},
keywords = {weak universality in categories, intensional equality, reversible computations}
}