references-for-linear-logic

References for linear logic

• Linear logic: its syntax and semantics - Jean-Yves Girard

• What is the intuition behind the “par” operator in linear logic?