Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
S. Abramsky
Book Title
Proceedings of CALCO 2005
Pages
1−31
Series
Springer Lecture Notes in Computer Science
Volume
3629
Year
2005
S. Abramsky