Finite dimensional vector spaces are complete for traced symmetric monoidal categories

by Masahito Hasegawa , Martin Hofmann , Gordon Plotkin
Venue:in: Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science 4800 (2008
Citations:7 - 0 self