"Proof, Language, and Interaction: Essays in Honour of Robin Milner" - читать интересную книгу автора (Plotkin G., Stirling C.P., Tofte M. (eds.))