"Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)" - читать интересную книгу автора (Gordon Plotkin, Colin Stirling, Mads Tofte)