Email Record: Advances in linear logic /