Free Shipping Anywhere in the World

Shop over 1 Million Toys in our Huge New Range

Lectures on the Curry-Howard Isomorphism


Product Description
Product Details

Table of Contents

Preface Acknowledgements 1. Typefree lambda-calculus 2. Intuitionistic logic 3. Simply typed lambdacalculus 4. The Curry-Howard isomorphism 5. Proofs as combinators 6. Classical logic and control operators 7. Sequent calculus 8. First-order logic 9. First-order arithmetic 10. Goedel's system T 11. Second-order logic and polymorphism 12. Second-order arithmetic 13. Dependent types 14. Pure type systems and the lambda-cube A Mathematical Background B Solutions and hints to selected exercises Bibliography Index

Ask a Question About this Product More...
Write your question below:
Look for similar items by category
Item ships from and is sold by Fishpond World Ltd.
Back to top