Richard Blute Hopf Algebras and Linear Logic. 189-217 1996 6 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs6.html#Blute96