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

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