Computation and Deduction
ISBN: 9780521772655 | 0521772656
Format: HardcoverPublisher: Cambridge Univ Pr
Pub. Date: 7/30/2013
Why Rent from Knetbooks?
Because Knetbooks knows college students. Our rental program is designed to save you time and money. Whether you need a textbook for a semester, quarter or even a summer session, we have an option for you. Simply select a rental period, enter your information and your book will be on its way!
Top 5 reasons to order all your textbooks from Knetbooks:
- We have the lowest prices on thousands of popular textbooks
- Free shipping both ways on ALL orders
- Most orders ship within 48 hours
- Need your book longer than expected? Extending your rental is simple
- Our customer support team is always here to help
This advanced undergraduate or introductory graduate textbook on the theory of programming languages covers functional programming, abstract machines, natural deduction, logic programming, and aspects of type theory. The definitions and proofs in the book have been implemented in a logical framework, which is freely available on the Internet. This allows students to gather hands-on experience and creatively explore the subject.
Computation and Deduction is an advanced undergraduate or introductory graduate textbook... MORE
Computation and Deduction is an advanced undergraduate or introductory graduate textbook... MORE
| 1. Introduction | |
| 2. The Mini-ML language | |
| 3. Formalization in a logical framework | |
| 4. The Elf programming language | |
| 5. Parametric and hypothetical judgments | |
| 6. Compilation | |
| 7. Natural deduction | |
| 8. Logic programming | |
| 9. Advanced type systems | |
| Bibliography. |
Please wait while this item is added to your cart...
