What is...Linear Logic? Introduction Jonathan Skowera