Welcome to E-Books Directory
This is a freely downloadable e-book.
Proofs and Types by J. Girard, Y. Lafont, P. Taylor
Read this book online or download it here for free
Proofs and Types
by J. Girard, Y. Lafont, P. Taylor
Publisher: Cambridge University Press 1989
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.