"Linear logic in computer science" - читать интересную книгу автора (Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott)