M. Barr. #-autonomous categories, volume 752 of LNM. Springer-Verlag, 1979. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Exponentials as Projections from Paraconsistent Logics - Patterson, Costello (Correct)
Hopf Algebras and Models of Non-commutative Logic - Blute, Ruet (2000) (Correct)
The Filter Construction Revisited - Butz (Correct)
A Logical Treatment of Constructive Duality - Patterson (Correct)
Chu I: cofree equivalences, dualities and *-autonomous categories - Pavlovic (1993) (Correct)
The Filter Construction Revisited - Butz (Correct)
Linear Logic for Generalized Quantum Mechanics - Pratt (1993) (7 citations) (Correct)
Concurrent Kripke Structures - Gupta (1993) (8 citations) (Correct)
Chu spaces: Complementarity and Uncertainty in Rational Mechanics - Pratt (1994) (6 citations) (Correct)
Gates Accept Concurrent Behavior - Gupta (1993) (12 citations) (Correct)
The Stone Gamut: A Coordinatization of Mathematics - Pratt (1995) (11 citations) (Correct)
Chu Spaces: Automata with quantum aspects - Pratt (1994) (5 citations) (Correct)
The Second Calculus of Binary Relations - Pratt (1993) (14 citations) (Correct)
Constant-Only Multiplicative Linear Logic is NP-Complete - Lincoln, Winkler (1992) (24 citations) (Correct)
Rational Mechanics and Natural Mathematics - Pratt (1995) (6 citations) (Correct)
Action and Change in Rewriting Logic - Martí-Oliet, Meseguer (1996) (2 citations) (Correct)
Chu Spaces: A Model Of Concurrency - Gupta (1994) (36 citations) (Correct)
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
Constant-Only Multiplicative Linear Logic is NP-Complete - Lincoln, Winkler (1992) (24 citations) (Correct)
Entropic Hopf Algebras And Models Of - Non-Commutative Logic Richard (2001) (Correct)
Coherence Of The Double Involution On - Autonomous Categories Cockett (Correct)
The Logic of Linear Functors - Blute, Cockett (2002) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) (Correct)
*-Autonomous Categories: Once More Around The Track - Barr Self-citation (Barr) (Correct)
Chu-Spaces, A Group Algebra And Induced Representations - Schläpfer (1999) Self-citation (Barr) (Correct)
The Separated Extensional Chu Category - Barr (1998) (1 citation) Self-citation (Barr) (Correct)
The Chu Construction - Barr (1996) (10 citations) Self-citation (Barr) (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