Tag. star-autonomous-categories

star-autonomous-categories

References (3)

*-Autonomous Envelopes and Conservativity shulman-2021-autonomousEPTCS · 2021
DOI · arXiv

Nonsymmetric *-autonomous categories barr1995-nonsymmetric-star-autonomousTCS · 1995
DOI

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