Intuitionistic linear logic

  1. REDIRECT linear logic