Publications de
Sergei Soloviev, Vladimir Orevkov
On categorical equivalence of Gentzen-style derivations in IMLL
Dans : Theoretical Computer Science, Elsevier, Vol. 303, p. 245-260, 2003.
Résumé Accès : www.ComputerScienceWeb.com
BibTeX
Sergei Soloviev, Vladimir Orevkov
On Categorical Equivalence of Gentzen-style Derivations in IMLL(extended abstract)
Dans : International Workshop onLogic and Complexity in Computer Science (LCCS’2001), Paris-12, Creteil, France, 03/09/01-05/09/01, Universite Paris-XII, p. 223-232, septembre 2001.