Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Lectures on the Curry-Howard Isomorphism
Want to know the Wikipedia page of a particular airport? Click here to find out.
  • Title Lectures on the Curry-Howard Isomorphism
  • Author(s): Morten Heine B. Sorensen, Pawel Urzyczyn
  • Publisher: Elsevier Science; 1 edition (September 28, 2006); eBook (The Final Draft)
  • 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