Bibliography

Bar79

M. Barr.
*-Autonomous categories, volume 752 of Lecture Notes in Mathematics.
Springer-Verlag, 1979.

Bar91

M. Barr.
*-Autonomous categories and linear logic.
Math Structures in Comp. Sci., 1(2):159-178, 1991.

BGdP91

C. Brown, D. Gurr, and V. de Paiva.
A linear specification language for Petri nets.
Technical Report DAIMI PB-363, Computer Science Department, Aarhus University, October 1991.

Bla95

Andreas Blass.
A category arising in linear logic, complexity theory, and set theory.
In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 61-81, Ithaca, NY, June 1995. Cambridge University Press.

Gir87

J.-Y. Girard.
Linear logic.
Theoretical Computer Science, 50:1-102, 1987.

GP93

V. Gupta and V.R. Pratt.
Gates accept concurrent behavior.
In Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., pages 62-71, November 1993.

HL69

Z. Hedrlín and J. Lambek.
How comprehensive is the category of semigroups.
J. Algebra, 11:195-212, 1969.

Kel82

G.M. Kelly.
Basic Concepts of Enriched Category Theory: London Math. Soc. Lecture Notes.
64. Cambridge University Press, 1982.

LS91

Y. Lafont and T. Streicher.
Games semantics for linear logic.
In Proc. 6th Annual IEEE Symp. on Logic in Computer Science, pages 43-49, Amsterdam, July 1991.

Mac45

G. Mackey.
On infinite dimensional vector spaces.
Trans. Amer. Math. Soc., 57:155-207, 1945.

Pra93

V.R. Pratt.
The second calculus of binary relations.
In Proceedings of MFCS'93, volume 711 of Lecture Notes in Computer Science, pages 142-155, Gdansk, Poland, 1993. Springer-Verlag.

Pra95

V.R. Pratt.
The Stone gamut: A coordinatization of mathematics.
In Logic in Computer Science, pages 444-454. IEEE Computer Society, June 1995.

Pra96

V.R. Pratt.
Broadening the denotational semantics of linear logic.
In Special Issue on Linear Logic 96, volume 3 of ENTCS (Electronic Notes of Theoretical Computer Science), Tokyo, 1996.

Pra97

V.R. Pratt.
Towards full completeness of the linear logic of chu spaces.
In Electronic Notes in Theoretical Computer Science, volume 6, Pittsburgh, 1997.
URL: http://www.elsevier.nl/locate/entcs/volume6.html, 18 pages.

PT80

A. Pultr and V. Trnková.
Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories.
North-Holland, 1980.

Trn66

V. Trnková.
Universal categories.
Comment. Math. Univ.Carolinae, 7:143-206, 1966.