Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (ISBN-13: 9780262281676 and ISBN-10: 0262281678), written by authors Mads Tofte, Gordon Plotkin, Colin P. Stirling, was published by The MIT Press in 2000. With an overall rating of 3.7 stars, it's a notable title among other books. You can easily purchase or rent Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (Printed Access Code) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.59.