Hopf algebras and linear logic (1996)

by R Blute
Venue:Mathematical Structures in Computer Science