Proof, Language, and Interaction
Subtitle: Essays in Honour of Robin Milner (Foundations of Computing)
Contributors: Gordon Plotkin (Editor); Colin Stirling (Editor); Mads Tofte (Editor)
Publisher: The MIT Press
Published: May 15, 2000
Language: eng
Format: Hardcover
Number of pages: 736
ISBN-13: 9780262161886
Subjects: Computer Programming; Computer Programming Languages; Theory Of Computing; Computers; Computers - General Information; Computer Books: General; Programming Languages - General; Computers / Programming Languages / General; (Robin),; 1934-; Computer Science; Milner, R; Milner, R.