Linear logic: its syntax and semantics - Jean-Yves Girard
What is the intuition behind the “par” operator in linear logic?