Lectures on the Curry-Howard Isomorphism - 1st Edition - ISBN: 9780444520777, 9780080478920

Lectures on the Curry-Howard Isomorphism, Volume 149

1st Edition

Authors: Morten Heine Sørensen Pawel Urzyczyn
Hardcover ISBN: 9780444520777
eBook ISBN: 9780080478920
Imprint: Elsevier Science
Published Date: 4th July 2006
Page Count: 456
Tax/VAT will be calculated at check-out
170.00
105.00
131.00
150.00
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


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. Gödel'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


Description

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. Gödel'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

Key Features

· The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
· Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning

Readership

Graduate students, lecturers and researchers in logic and theoretical computer science. Also for graduate students, lecturers and researchers in philosophy and mathematics.


Details

No. of pages:
456
Language:
English
Copyright:
© Elsevier Science 2006
Published:
Imprint:
Elsevier Science
eBook ISBN:
9780080478920
Hardcover ISBN:
9780444520777

About the Authors

Morten Heine Sørensen Author

Affiliations and Expertise

University of Copenhagen, Denmark

Pawel Urzyczyn Author

Affiliations and Expertise

Warsaw University, Poland