Lectures on linear logic | lit.salon