"Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott)