Proof, language, and interaction essays in honour of Robin Milner

• Other Authors: Plotkin, G. 1946-, Stirling, Colin P., Tofte, Mads., Milner, R. 1934-2010.
• Format: eBook
• Language: English
• Published: Cambridge, Mass. : MIT Press, 2000.
• Series: Foundations of computing.
• Subjects: Milner, R. > (Robin), > 1934-2010.; Computer science.; elektronické knihy; electronic books
• ISBN: 9780262281676
• Physical Description: 1 online zdroj (xiv, 722 p.) : ill.