Proof of a S.Mac lane conjecture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 953, Issue , 1995, Pages 59-80

  Soloviev, S ^a  

^a ST PETERSBURG INSTITUTE FOR INFORMATICS AND AUTOMATION   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21844518393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60164-3_20     Document Type: Conference Paper

References (11)

1. G.M. Kelly and S. Mac Lane. Coherence in Closed Categories. Journal of Pure and Applied Algebra, 1(1):97-140, 1971.
2. R. Voreadou. Coherence and non-commutative diagrams in closed categories. Memoirs of the AMS, v.9,issue 1, No 182 (last of two numbers), January 1977.
3. J. Lambek. Deductive Systems and Categories. II. Lecture Notesin Math., 86: 76-122, 1969.
4. J. Lambek. Multicategories Revisited. Contemporary Math.92(1989), 217-239.
5. M.E. Szabo. Algebra of Proofs. Studies in Logic and the Foundations of Mathematics, 88 (1978), North-Holland P.C.,.
6. G.E. Mints. Closed categories and Proof Theory. Journal of Soviet Mathematics, 15:45-62, 1981.
7. S.V. Soloviev. On the conditions of full coherence in closed categories. Journal of Pure and Applied Algebra, 69:301-329, 1990.
8. C.B. Jay. The structure of free closed categories. Journal of Pure and Applied Algebra, 66(3):271-287, 1990.
9. G.M. Kelly. A cut-elimination theorem., 196-213.
10. G. Bierman. Ph.d. Thesis, Oxford, 1994.
11. G.-Y. Girard, Y. Lafont. Linear logic and lazy computation. In: Proc.TAPSOFT 87 (Pisa), v.2, p.52-66, Lecture Notes in Comp.Sci. v.250, 1987.