Proof, Language, and Interaction
Download or Read eBook Proof, Language, and Interaction PDF 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.
| 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
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.
