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   Context   Related Articles

This paper is cited by the following papers:

Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994)   (132 citations)  Self-citation (Linear)   (Correct)

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