G.M. Kelly and S. Mac Lane, "Coherence in closed categories", J. Pure Appl. Alg. 1 no. 1, (1971), 97--140; erratum, ibid. no. 2, 219. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Proof of a Conjecture of S. Mac Lane - Soloviev (1996) (Correct)
On Double Categories and Multiplicative Linear Logic - Melliès (1999) (Correct)
A Linear Logical View of Linear Type Isomorphisms - Balat, Di Cosmo (1999) (5 citations) (Correct)
Diagram Spaces, Diagram Spectra, And Fsp's - Mandell, May, Schwede, Shipley (Correct)
Explicit Substitution Internal Languages for Autonomous and.. - Koh, Ong (1999) (4 citations) (Correct)
Type Theories for Autonomous and *-Autonomous Categories: I.. - Koh, Ong (1998) (Correct)
Explicit Substitution Internal Languages for Autonomous and.. - Koh, Ong (1999) (4 citations) (Correct)
Internal Languages for Autonomous and *-Autonomous Categories - Koh, Ong (Correct)
Exhausting Strategies, Joker Games and Full Completeness for.. - Murawski, Ong (1999) (Correct)
Coherence in Category Theory and the Church-Rosser Property - Jay (1993) (2 citations) (Correct)
A Complete Axiom System for Isomorphism of Types in Closed.. - Soloviev (1993) (6 citations) (Correct)
Linear lambda-Calculus and Categorical Models Revisited - Benton, Bierman, de Paiva, .. (1992) (12 citations) (Correct)
Operads, Algebras, Modules, And Motives - Kriz, May (1994) (1 citation) (Correct)
Inheritance As Implicit Coercion - Breazu-Tannen, Coquand, Gunter.. (1991) (14 citations) (Correct)
Coherence in Category Theory and the - Church-Rosser Property Barry (Correct)
Deep Inference Proof Theory Equals Categorical Proof Theory Minus .. - Hughes (2004) (3 citations) (Correct)
Double Categories: a modular model of multiplicative linear logic - Mellies (Correct)
Classical Linear Logic of Implications - Hasegawa (2002) (Correct)
Pasting Diagrams in n-Categories with Applications to Coherence.. - Johnson (1987) (1 citation) (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)
Natural Deduction and Coherence for Weakly Distributive .. - Blute, Cockett, Seely, .. (1991) (22 citations) (Correct)
Linear Läuchli Semantics - Blute, Scott (Correct)
Proof of a conjecture of S.Mac Lane and some its algorithmic .. - Soloviev Spiiran Self-citation (Lane) (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