Proof of a S. Mac Lane Conjecture
暂无分享,去创建一个
[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 .