People, A Brief Introduction to Linear Logic, A New Deconstructive Logic: Linear Logic (1997), Applications of Linear Logic to Computation (1993), Articles by Jean-Yves Girard, Bibliography on Linear Logic, Chu Spaces, Chu Spaces from the Representational Viewpoint, Computational Interpretations of Linear Logic (199, Flow Analysis in the Geometry of Interaction, Game Semantics or Linear Logic?

Relevance Logic, Relevance Logic and Concurrent Composition