Skip to main content

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