Skip to main content

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
Cancel
×
×
Home
  • Home
Article
  • Cited by 1
  • Cited by
    Crossref Citations
    Crossref logo
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.
    Blute, R. F. and Scott, P. J. 1998. The shuffle Hopf algebra and noncommutative full completeness. The Journal of Symbolic Logic, Vol. 63, Issue. 04, p. 1413.
    ×
  • Get access
    Add to cart USD35.00
    Check if you have access via personal or institutional login
    Log in Register Recommend to librarian

Appendix: Separability of tensor in Chu categories of vector spaces

  • Michael Barr (a1)
Abstract
Copyright
COPYRIGHT: © Cambridge University Press 1996
References
Hide All
Barr, M. (1979) *-Autonomous categories. Springer-Verlag Lecture Notes in Mathematics 752.
Barr, M. (1991) *-Autonomous categories and linear logic. Mathematical Structures in Computer Science 1 159–178.
Barr, M. (to appear) Non-symmetric *-autonomous categories. Theoretical Computer Science.
Chu, P.-H. (1979) Constructing *-autonomous categories. Appendix to Barr, M. (1979) *o-Autonomous categories, Springer-Verlag Lecture Notes in Mathematics 752.
Pratt, V. R. (1993) The Second Calculus of Binary Relations. In: Proceedings of MFCS '93, Gdánsk, poland, Springer-Verlag 142–155.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *

CAPTCHA *

Skip to the audio challenge
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 9 *
Loading metrics...

Abstract views

Total abstract views: 40 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 12th June 2018. This data will be updated every 24 hours.

Cancel
Confirm
×