A Complete Axiom System for Isomorphism of Types in Closed Categories
暂无分享,去创建一个
[1] G. M. Kelly,et al. Coherence in closed categories , 1971 .
[2] M. E. Szabo. Algebra of proofs , 1978 .
[3] J. Lambek. Deductive systems and categories II. Standard constructions and closed categories , 1969 .
[4] S. Solov′ev. The category of finite sets and Cartesian closed categories , 1983 .
[5] Mikael Rittri. Retrieving Library Functions by Unifying Types Modulo Linear Isomorphism , 1993, RAIRO Theor. Informatics Appl..
[6] C. Barry Jay. The structure of free closed categories , 1990 .
[7] G. Mints,et al. Closed categories and the theory of proofs , 1981 .