On categorical equivalence of Gentzen-style derivations in IMLL. - Sergei Soloviev 001; Vladimir Orevkov (Theor. Comput. Sci., 2003)