Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Barber, A. (1997) Linear Type Theories, Semantics and Action Calculi. PhD Thesis ECS-LFCS-97-371, University of Edinburgh.
2. Barber, A. and Plotkin, G. (1997) Dual intuitionistic linear logic. Submitted. An earlier version available as Technical Report ECS-LFCS-96-347, LFCS, University of Edinburgh.
3. Barr, M. (1979) *-Autonomous Categories. Springer Lecture Notes in Math. 752.
4. Barr, M. (1991) *-autonomous categories and linear logic. Math. Struct. Comp. Sci. 1, 159–178.
5. Benton, P. N. (1995) A mixed linear and non-linear logic: proofs, terms and models (extended abstract). In Computer Science Logic (CSL’4), Springer Lecture Notes in Comput. Sci. 933, pp. 121–135.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献