Hopf Algebras and Linear Logic, to appear (1995)

by R Blute
Venue:Mathematical Structures in Computer Science