Proof, Language, and Interaction: Essays in Honour of Robin Milner

By: Robin Milner

This collection of original essays reflects the breadth of current research in computer science. This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.Following a brief biography of Milner, the book contains...

• Format: Hardcover
• Language: English
• ISBN: 0262161885
• ISBN13: 9780262161886
• Release Date: May 2000
• Publisher: MIT Press
• Length: 736 Pages
• Weight: 3.00 lbs.
• Dimensions: 1.6" x 7.4" x 9.3"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher