Domains and Lambda-Calculi
Author | : Roberto M. Amadio |
Publisher | : Cambridge University Press |
Total Pages | : 504 |
Release | : 1998-07-02 |
ISBN-10 | : 9780521622776 |
ISBN-13 | : 0521622778 |
Rating | : 4/5 (778 Downloads) |
Book Synopsis Domains and Lambda-Calculi by : Roberto M. Amadio
Download or read book Domains and Lambda-Calculi written by Roberto M. Amadio and published by Cambridge University Press. This book was released on 1998-07-02 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.