Nonsymmetric *-autonomous categories

Reference. Nonsymmetric *-autonomous categories

Cite

Cite as @barr1995-nonsymmetric-star-autonomous (helia, typst) · \cite{barr1995-nonsymmetric-star-autonomous} (LaTeX)

BibTeX

bibtex · 12 lines

@article{barr1995-nonsymmetric-star-autonomous,
 title = {Nonsymmetric *-autonomous categories},
 author = {Barr, Michael},
 year = {1995},
 journal = {Theoretical Computer Science},
 volume = {139},
 number = {1--2},
 pages = {115--130},
 doi = {10.1016/0304-3975(94)00089-2},
 url = {https://doi.org/10.1016/0304-3975(94)00089-2},
 publisher = {Elsevier}
}

hayagriva YAML (typst)

yaml · 15 lines

barr1995-nonsymmetric-star-autonomous:
  type: article
  title: Nonsymmetric *-autonomous categories
  author: Barr, Michael
  date: 1995
  page-range: 115-130
  url: https://doi.org/10.1016/0304-3975(94)00089-2
  serial-number:
    doi: 10.1016/0304-3975(94)00089-2
  parent:
    type: periodical
    title: Theoretical Computer Science
    publisher: Elsevier
    issue: 1–2
    volume: 139

Download: barr1995-nonsymmetric-star-autonomous.bib · barr1995-nonsymmetric-star-autonomous.yml

Cites 10 works (3 here)

With notes (3)

Linear logic, *-autonomous categories and cofree coalgebras seely89Categories in computer science and logic (Boulder, CO, 1987) · 1989

DOI

Linear logic girard_linear_1987TCS · 1987

The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

DOI

The mathematics of sentence structure lambek58Amer. Math. Monthly · 1958

DOI

External (7)

*-Autonomous categories, revisited (cited as 'to appear') (1996)
Some lattice models of bilinear logic (preprint) (1993)
∗-Autonomous categories and linear logic (1991)
Languages for monoidal categories (1989)
*-Autonomous categories (LNM 752) (1979)
Constructing *-autonomous categories (appendix to Barr 1979) (1979)
Closed categories (1966)