Coherence in SMCCS and equivalences on derivations in IMLL with unit
暂无分享,去创建一个
[1] Angus Macintyre,et al. Trends in Logic , 2001 .
[2] Kosta Dosen. Identity of proofs based on normalization and generality , 2003, Bull. Symb. Log..
[3] R. Blute,et al. Category theory for linear logicians , 2004 .
[4] G. Mints,et al. Closed categories and the theory of proofs , 1981 .
[5] Alistair H. Lachlan,et al. The Continuity of Cupping to 0' , 1993, Ann. Pure Appl. Log..
[6] K. Dosen. Cut Elimination in Categories , 1999 .
[7] R. Blute,et al. Natural deduction and coherence for weakly distributive categories , 1996 .
[8] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[9] J. Lambek. Deductive systems and categories II. Standard constructions and closed categories , 1969 .
[10] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[11] Valeria de Paiva,et al. Full Intuitionistic Linear Logic (extended abstract) , 1993, Ann. Pure Appl. Log..
[12] Alex K. Simpson. Categorical completeness results for the simply-typed lambda-calculus , 1995, TLCA.
[13] Joachim Lambek,et al. Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic , 1972 .
[14] G. M. Kelly,et al. On MacLane's conditions for coherence of natural associativities, commutativities, etc. , 1964 .
[15] Charles S. Peirce,et al. Studies in Logic , 2008 .
[16] S. V. Soloviev. On the conditions of full Coherence in closed categories , 1991 .
[17] Joachim Lambek. Deductive systems and categories , 2005, Mathematical systems theory.
[18] S. Lane. Natural Associativity and Commutativity , 1979 .
[19] G. M. Kelly,et al. A generalization of the functorial calculus , 1966 .
[20] Paul Curzon,et al. On Intuitionistic Linear Logic , 2005 .
[21] Saunders Mac Lane,et al. Topology and logic as a source of algebra , 1976 .
[22] K. Brown,et al. Graduate Texts in Mathematics , 1982 .
[23] Sergei Soloviev. A Complete Axiom System for Isomorphism of Types in Closed Categories , 1993, LPAR.
[24] Jean-Yves Girard,et al. Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.
[25] Andrzej S. Murawski,et al. Exhausting strategies, joker games and full completeness for IMLL with Unit , 2003, Theor. Comput. Sci..
[26] Nick Benton,et al. A Term Calculus for Intuitionistic Linear Logic , 1993, TLCA.
[27] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[28] A. Guglielmi. The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference , 2005 .
[29] Samson Abramsky,et al. Physical Traces: Quantum vs. Classical Information Processing , 2002, CTCS.
[30] G. F. Rose. Propositional calculus and realizability , 1953 .
[31] S. Ev. Preservation of equivalence of derivations under reduction of depth of formulas , 1982 .
[32] G. M. Kelly,et al. Coherence in closed categories , 1971 .
[33] K. Dosen,et al. The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories , 1999, math/9911073.
[34] Valeria de Paiva,et al. Poset-valued sets or how to build models for linear logics , 2004, Theor. Comput. Sci..
[35] A. A. Babaev,et al. A coherence theorem for canonical morphisms in cartesian closed categories , 1982 .
[36] G. M. Kelly,et al. Coherence for compact closed categories , 1980 .
[37] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[38] K. Dosen,et al. The Maximality of Cartesian Categories , 2001 .
[39] Emil L. Post. Introduction to a General Theory of Elementary Propositions , 1921 .
[40] François Lamarche,et al. Multiplicative Linear Logics and Fibrations , 2003, CTCS.
[41] Richard Blute,et al. Linear Logic, Coherence, and Dinaturality , 1993, Theor. Comput. Sci..
[42] Gerard Renardel de Lavalette. Structures and Deduction - the Quest for the Essence of Proofs , 2005 .
[43] A cut-elimination theorem , 1972 .
[44] Sergei Soloviev,et al. Proof of a Conjecture of S. Mac Lane , 1996, Ann. Pure Appl. Log..
[45] R. Lyndon. An interpolation theorem in the predicate calculus. , 1959 .
[46] R. Seely,et al. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. , 1997 .
[47] Kosta Dosen,et al. Isomorphic Objects in Symmetric Monoidal Closed Categories , 1997, Math. Struct. Comput. Sci..
[48] Knez Mihailova,et al. Isomorphic objects in symmetric monoidal closed categories y , 1997 .
[49] C. R. Mann. The Connection between Equivalence of Proofs and Cartesian Closed Categories , 1975 .
[50] D. K. Harrison,et al. Proceedings of the Conference on Categorical Algebra , 1966 .
[51] Sergei Soloviev,et al. Reductions in Intuitionistic Linear Logic , 1995, Mathematical Structures in Computer Science.