Welcome to E-Books Directory
This is a freely downloadable e-book.

Proofs and Types

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

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

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 here:

Download link

 (multiple formats)