or to grade, review, and add to your backlog.
Description
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers
Community reviews
No reviews yet
Be the first to review this book.
More like this
- Rights and Responsibilities of Participants in Networked CommunitiesBook
- Computer Organization and Design RISC-V Edition: The Hardware Software InterfaceBook
- The Road Ahead: Completely Revised and Up-to-DateBook
- Cryptography's Role in Securing the Information SocietyBook
- TheBook
- Red Hat Linux System Administration UnleashedBook
- Cyberia: Life in the Trenches of HyperspaceBook
- Building Accessible WebsitesBook
