Categories for computation in context and unified logic
暂无分享,去创建一个
[1] Valeria C V de Paiva,et al. Term Assignment for Intuitionistic Linear Logic , 1992 .
[2] R. A. G. Seely,et al. Linear Logic, -Autonomous Categories and Cofree Coalgebras , 1989 .
[3] Edmund Robinson,et al. Premonoidal categories and notions of computation , 1997, Mathematical Structures in Computer Science.
[4] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[5] John Cartmell,et al. Generalised algebraic theories and contextual categories , 1986, Ann. Pure Appl. Log..
[6] Richard Blute,et al. Linear Logic, Coherence, and Dinaturality , 1993, Theor. Comput. Sci..
[7] Jean-Yves Girard,et al. On the Unity of Logic , 1993, Ann. Pure Appl. Log..
[8] J. Robin B. Cockett,et al. ! and ? – Storage as tensorial strength , 1996, Mathematical Structures in Computer Science.
[9] R. A. G. Seely,et al. Weakly distributive categories , 1997 .
[10] Robin Milner. Action Calculi, or Syntactic Action Structures , 1993, MFCS.
[11] R. Seely,et al. Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. , 1997 .
[12] A. Pitts. INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7) , 1987 .
[13] R. Blute,et al. Natural deduction and coherence for weakly distributive categories , 1996 .
[14] Sally Popkorn,et al. A Handbook of Categorical Algebra , 2009 .
[15] Eugenio Moggi,et al. Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[16] Robert Paré,et al. Monoidal categories with natural numbers object , 1989, Stud Logica.
[17] Gavin M. Bierman. What is a Categorical Model of Intuitionistic Linear Logic? , 1995, TLCA.
[18] Dusko Pavlovic. Categorical logic of Names and Abstraction in Action Calculi , 1997, Math. Struct. Comput. Sci..