"Advances in linear logic" - читать интересную книгу автора (Jean-Yves Girard, Yves Lafont, Laurent Regnier)