linear logic notes