Proof, Language, and Interaction
Author | : Robin Milner |
Publisher | : MIT Press |
Total Pages | : 748 |
Release | : 2000 |
ISBN-10 | : 0262161885 |
ISBN-13 | : 9780262161886 |
Rating | : 4/5 (85 Downloads) |
Book Synopsis Proof, Language, and Interaction by : Robin Milner
Download or read book Proof, Language, and Interaction written by Robin Milner and published by MIT Press. This book was released on 2000 with total page 748 pages. Available in PDF, EPUB and Kindle. Book excerpt: This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.