论文信息 - Proof of a S. Mac Lane Conjecture - 字舞流文

Proof of a S. Mac Lane Conjecture

Sergei Soloviev

[1] M. E. Szabo. Algebra of proofs , 1978 .

[2] G. Mints,et al. Closed categories and the theory of proofs , 1981 .

[3] J. Lambek. Deductive systems and categories II. Standard constructions and closed categories , 1969 .

[4] S. V. Soloviev. On the conditions of full Coherence in closed categories , 1991 .

[5] Jean-Yves Girard,et al. Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.

[6] C. Barry Jay. The structure of free closed categories , 1990 .

[7] A cut-elimination theorem , 1972 .

[8] G. M. Kelly,et al. Coherence in closed categories , 1971 .