2] S. Abramsky, Semantics of Interaction: an Introduction to Game Semantics (1977)

by K Ab'e, Hopf Algebras
Venue:in A. Pitts and P. Dybjer [40