M. Barr. ?-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1(2):159--178, July 1991. Curien's email announcement of his results appeared following ours [AJ92b] announcing the results of this paper. 31 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) Self-citation (Linear) (Correct)
....d k Delta e 2 T ] 9k) m k (d 0 ) e] d Delta e 2 ffi h : 14 3.5 autonomous categories of games 3.5.1 G hf as a autonomous category We show that G hf is a autonomous category, and thus yields an interpretation of the formulas and proofs of MLL MIX. For background, see [See89, Bar91]) We have already defined the object part of the tensor product B, the linear negation A and the tensor unit. The action of tensor on morphisms is defined as follows. If oe f : A B; g : A : B Omega is induced by h = M f g The natural isomorphisms for ....
M. Barr. ?-autonomous categories and linear logic. Mathematical Structures in Computer Science, 1(2):159--178, July 1991. Curien's email announcement of his results appeared following ours [AJ92b] announcing the results of this paper. 31
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC