Advances in linear logic | lit.salon