Bibtex de la publication

@InCollection{ ElSoMéSp2010.1,
author = {El Khoury, Antoine and Soloviev, Sergei and Méhats, Laurent and Spivakovsky, Mark},
title = "{On varieties of closed categories and dependency of diagrams of canonical maps.}",
booktitle = "{Proofs, Categories and Computations. Essays in Honor of Grigori Mints.}",
publisher = {College Publications},
address = {},
year = {2010},
editor = {Feferman, Solomon and Sieg, Wilfried},
pages = {70--85},
language = {anglais},
keywords = {closed categories, proof theory, dependency of diagrams, variety}