"Introduction to Linear Logic" - читать интересную книгу автора (T. Brauner)