Logo

Lectures on the Curry-Howard Isomorphism

Large book cover: Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism
by

Publisher: Elsevier Science
ISBN/ASIN: 0444520775
Number of pages: 273

Description:
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. This book give 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.

Download or read it online for free here:
Download link
(1.3MB, PDF)

Similar books

Book cover: Programming Languages: Application and InterpretationProgramming Languages: Application and Interpretation
by - Lulu.com
The textbook for a programming languages course, taken primarily by advanced undergraduate and beginning graduate students. This book assumes that students have modest mathematical maturity, and are familiar with the existence of the Halting Problem.
(7515 views)
Book cover: Proofs and TypesProofs and Types
by - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(11125 views)
Book cover: Principles of Programming LanguagesPrinciples of Programming Languages
by - Ben-Gurion University of the Negev
This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.
(16045 views)
Book cover: Dictionary of Programming LanguagesDictionary of Programming Languages
by
The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.
(8237 views)