"Computational Aspects of Linear Logic (Foundations of Computing Series)" - читать интересную книгу автора (Patrick D. Lincoln)