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: The Theory of Languages and ComputationThe Theory of Languages and Computation
by - University of Pennsylvania
From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.
(3136 views)
Book cover: Formal Language Theory for Natural Language ProcessingFormal Language Theory for Natural Language Processing
by - ESSLLI
This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.
(5583 views)
Book cover: Formal Syntax and Semantics of Programming LanguagesFormal Syntax and Semantics of Programming Languages
by - Addison Wesley Longman
The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.
(10135 views)
Book cover: Type Systems for Programming LanguagesType Systems for Programming Languages
by
Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
(11047 views)