[logic-ml] linear logic