RAIRO-Theor. Inf. Appl.
Volume 44, Number 4, October-December 2010
Page(s) 419 - 441
Published online 28 October 2010
  1. S. Abramsky and R. Jagadeesan, Games and full completeness for multiplicative linear logic. J. Symb. Log. 2 (1994) 543–574. [CrossRef] [Google Scholar]
  2. J.M. Ansemil and K. Floret, The symmetric tensor product of a direct sum of locally convex spaces. Stud. Math. 129 (1998) 285–295. [Google Scholar]
  3. M. Barr, Formula -autonomous categories and linear logic. Math. Struct. Comp. Sci. 1 (1991) 159–178. [CrossRef] [Google Scholar]
  4. J.R.B. Cockett and R.A.G. Seely, Proof theory for full intuitionistic linear logic, bilinear logic and MIX categories. Theory and Applications of categories 3 (1997) 85–131. [Google Scholar]
  5. J.-Y. Girard, Le Point Aveugle II, Cours de logique, Vers l'imperfection. Hermann, Paris (2007). [Google Scholar]
  6. J.-Y. Girard, Truth, modality and intersubjectivity. Math. Struct. Comp. Sci. 17 (2007) 1153–1167. [Google Scholar]
  7. J.-Y. Girard, A. Scedrov and P. Scott. Bounded linear logic: a modular approach to polynomial-time computability. Theoret. Comput. Sci. 97 (1992) 1–66. [CrossRef] [MathSciNet] [Google Scholar]
  8. S. Mac Lane, Categories for the Working Mathematician. 2nd edition Springer, Berlin (1998). [Google Scholar]
  9. R.E. Megginson, An Introduction to Banach Space Theory. Springer, Berlin (1998). [Google Scholar]
  10. P.-A. Melliès, Categorical semantics of linear logic, available at mellies/. [Google Scholar]
  11. B.F. Redmond, Multiplexor categories and models of Soft Linear Logic. Logical foundations of computer science, Lecture Notes in Comput. Sci. 4514, Springer, Berlin (2007) 472–485. [Google Scholar]
  12. P. Selinger, Towards a semantics for higher-order quantum computation. Proc. QPL (2004) 127–143. [Google Scholar]
  13. J. Weidmann, Linear Operators in Hilbert Spaces. Springer, Berlin (1980). [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.