|
|
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
S. Abramsky infobook title | Proceedings of CALCO 2005 |
pages | 1-31 |
series | Springer Lecture Notes in Computer Science |
volume | 3629 |
year | 2005 |
links
BibTeX
Download (pdf)
related pages
|
|
|
|
