Reference26 articles.
1. Samson Abramsky and Radha Jagadeesan. Games and Full Completeness for Multiplicative Linear Logic. J. Symb. Logic 59(2):543–574, 1994.
2. M. Barr. *-Autonomous categories, Lecture Notes in Mathematics 752, Springer-Verlag, 1979, Berlin, Heidelberg, New York.
3. M. Barr. *-Autonomous categories and linear logic, Mathematical Structures in Computer Science 1:159–178, 1991.
4. N. Benton, G. Bierman, V. de Paiva, M. Hyland. A term calculus for intuitionistic linear logic. Springer LNCS 664, pp. 75–90, 1993.
5. N. Benton, G. Bierman, V. de Paiva, M. Hyland. Linear λ-Calculus and Categorical Models Revisited, Preprint, Comp. Lab., Univ. of Cambridge.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献