Bibtex de la publication

@Article{ SoOr2003.1,
author = {Soloviev, Sergei and Orevkov, Vladimir},
title = "{On categorical equivalence of Gentzen-style derivations in IMLL}",
journal = {Theoretical Computer Science},
publisher = {Elsevier},
year = {2003},
volume = {303},
pages = {245--260},
URL = {},
keywords = {closed categories, intuitionistic linear logic},
abstract = {A new deciding algorithm of low polynomial complexity for categorical equivalence of derivations in intuitionistic multiplicative linear logic is described. It may be considered also as decision procedure for commutativity of diagrams of canonical natural transformations in symmetric monoidal closed categories.}