Proof, language, and interaction essays in honour of Robin Milner - Plotkin, G. 1946-; Stirling, Colin P.; Tofte, Mads; Milner, R. 1934-2010 (MIT Press, 2000)
Keywords: Computer science.; Milner, R. -- (Robin), -- 1934-2010.; elektronické knihy; electronic books