Processing ......
Free Computer, Mathematics, Technical Books and Lecture Notes, etc.
Lectures on the Curry-Howard Isomorphism
Want to know the elevation (AMSL) at any spot all over world? Try GIS Visualizer.
  • Title Lectures on the Curry-Howard Isomorphism
  • Author(s): Morten Heine B. Sorensen, Pawel Urzyczyn
  • Publisher: Elsevier Science; 1 edition (September 28, 2006); eBook (1998)
  • Hardcover: 456 pages
  • eBook: PDF
  • Language: English
  • ISBN-10: 0444520775
  • ISBN-13: 978-0444520777
  • Share This:  

Book Description

This book gives an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.

About the Author(s)
  • N/A
Reviews, Ratings, and Recommdations: Related Book Categories: Read and Download Links: Similar Books:
Book Categories
Other Categories
Resources and Links