Processing ......
FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World
 
Lectures on the Curry-Howard Isomorphism
Install LinkBasket to replace ALL of your new apps!
  • 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