Linear Logic course notes