References

  1. V.M. Abrusci (1991): Phase semantics and sequent calculus for pure non-commutative linear propositional logic. Journal of Symbolic Logic 56(4), pp. 1403–1452, doi:10.2307/2275485.
  2. V.M. Abrusci & P. Ruet (1999): Non-commutative logic I. Annals of Pure and Applied Logic 101(1), pp. 29–64, doi:10.1016/S0168-0072(99)00014-7.
  3. A. Barber & G.D. Plotkin (1997): Dual intuitionistic linear logic. Unpublished draft. An early version appeared as a technical report ECS-LFCS-96-347, LFCS, University of Edinburgh..
  4. M. Barr (1995): Nonsymmetric *-autonomous categories. Theoretical Computer Science 139(1-2), pp. 115–130, doi:10.1016/0304-3975(94)00089-2.
  5. N. Benton (1995): A mixed linear non-linear logic: proofs, terms and models. In: Computer Science Logic (CSL'94), Selected Papers, Lecture Notes in Computer Science 933. Springer-Verlag, pp. 121–135, doi:10.1007/BFb0022251.
  6. N. Benton, G.M. Bierman, V. de Paiva & M. Hyland (1993): Linear lambda-calculus and categorical models revisited. In: Computer Science Logic (CSL'92), Selected Papers, Lecture Notes in Computer Science 702. Springer-Verlag, pp. 61–84, doi:10.1007/3-540-56992-8.
  7. G.M. Bierman (1995): What is a categorical model of intuitionistic linear logic?. In: Proceedings of the 2nd International Conference on Typed Lambda Calculus and Applications, Lecture Notes in Computer Science 902. Springer-Verlag, pp. 78–93, doi:10.1007/BFb0014046.
  8. M. Boyarchenko & V. Drinfeld (2013): A duality formalism in the spirit of Grothendieck and Verdier. Quantum Topology 4(4), pp. 447–489, doi:10.4171/QT/45.
  9. C. Brown & D. Gurr (1995): Relations and non-commutative linear logic. Journal of Pure and Applied Algebra 105(2), pp. 117–136, doi:10.1016/0022-4049(94)00147-2.
  10. B.J. Day (1970): On closed categories of functors. In: Midwest Category Seminar Reports IV, Lecture Notes in Mathematics 137. Springer-Verlag, pp. 1–38, doi:10.1007/BFb0060438.
  11. S. Eilenberg & G.M. Kelly (1966): Closed categories.. In: Proceedings of the Conference on Categorical Algebra (La Jolla 1965). Springer-Verlag, pp. 421–562, doi:10.1007/978-3-642-99902-4.
  12. J.-Y. Girard (1987): Linear logic. Theoretical Computer Science 50, pp. 1–102, doi:10.1016/0304-3975(87)90045-4.
  13. M. Hasegawa (1999): Categorical glueing and logical predicates for models of linear logic. Available at http://www.kurims.kyoto-u.ac.jp/~hassei/papers/full.pdf. Preprint RIMS-1223, RIMS, Kyoto University.
  14. M. Hasegawa (1999): Logical predicates for intuitionistic linear type theories. In: Proceedings of the 4th International Conference on Typed Lambda Calculus and Applications, Lecture Notes in Computer Science 1581. Springer-Verlag, pp. 198–213, doi:10.1007/3-540-48959-2.
  15. M. Hasegawa (2005): Classical linear logic of implications. Mathematical Structures in Computer Science 15(2), pp. 323–342, doi:10.1017/S0960129504004621.
  16. M. Hasegawa (2012): A quantum double construction in Rel. Mathematical Structures in Computer Science 22(4), pp. 618–650, doi:10.1017/S0960129511000703.
  17. J.M.E. Hyland & A. Schalk (2003): Glueing and orthogonality for models of linear logic. Theoretical Computer Science 294(1-2), pp. 183–231, doi:10.1016/S0304-3975(01)00241-9.
  18. A. Joyal & R. Street (1993): Braided tensor categories. Advances in Mathematics 88, pp. 20–78, doi:10.1006/aima.1993.1055.
  19. G.M. Kelly (1974): Doctrinal adjunction. In: Proceedings Sydney Category Theory Seminar 1972/1973, Lecture Notes in Mathematics 420. Springer-Verlag, pp. 257–280, doi:10.1007/BFb0063105.
  20. Y. Lafont (1988): The linear abstract machine. Theoretical Computer Science 59(1-2), pp. 157–180, doi:10.1016/0304-3975(88)90100-4.
  21. M.E. Maietti, P. Mannegia, V. de Paiva & E. Ritter (2005): Relating categorical models for intuitionistic linear logic. Applied Categorical Structures 13(1), pp. 1–36, doi:10.1007/s10485-004-3134-z.
  22. P. Maneggia (2004): Models of Linear Polymorphism. University of Birmingham.
  23. P.-A. Melliès (2009): Categorical semantics of linear logic, pp. 1–196, Panoramas et Synthèses 27. Société Mathématique de France.
  24. V. de Paiva (2014): Categorical semantics of linear logic for all, pp. 181–192, Trends in Logic - Studia Logica Library 39. Springer-Verlag, doi:10.1007/978-94-007-7548-0.
  25. R.A.G. Seely (1989): Linear logic, *-autonomous categories and cofree coalgebras. In: Categories in Computer Science and Logic, Contemporary Mathematics 92. American Mathematical Society, pp. 371–389, doi:10.1090/conm/092.
  26. M.-C. Shum (1994): Tortile tensor categories. Journal of Pure and Applied Algebra 93(1), pp. 57–110, doi:10.1016/0022-4049(92)00039-T.
  27. V.G. Turaev (1994): Quantum Invariants of Knots and 3-Manifolds. de Gruyter.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org