Logo

Proofs and Types by J. Girard, Y. Lafont, P. Taylor

Large book cover: Proofs and Types

Proofs and Types
by

Publisher: Cambridge University Press
ISBN/ASIN: 0521371813
ISBN-13: 9780521371810
Number of pages: 183

Description:
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, but we will never go into tedious details.

Home page url

Download or read it online for free here:
Download link
(multiple formats)

Similar books

Book cover: Anatomy of Programming LanguagesAnatomy of Programming Languages
by - UT Austin
This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.
(4057 views)
Book cover: Practical Foundations for Programming LanguagesPractical Foundations for Programming Languages
by
This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.
(12255 views)
Book cover: Lectures on the Curry-Howard IsomorphismLectures on the Curry-Howard Isomorphism
by - Elsevier Science
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.
(7157 views)
Book cover: Topics in History and Comparing Programming LanguagesTopics in History and Comparing Programming Languages
by - Gavilan College
This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.
(3403 views)