Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin. Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. In Arnon Avron, Nachum Dershowitz, Alexander Rabinovich, editors, Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Volume 4800 of Lecture Notes in Computer Science, pages 367-385, Springer, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.