Hopf Algebras and Linear Logic.

Published in: Math. Struct. Comput. Sci. (1996)