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: Introduction to Programming LanguagesIntroduction to Programming Languages
- Wikibooks
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
(5625 views)
Book cover: Let Over Lambda: 50 Years of LispLet Over Lambda: 50 Years of Lisp
by - Lulu.com
One of the most hardcore computer programming books out there. Starting with the fundamentals, it describes the most advanced features of the most advanced language: Common Lisp. This book is about macros, that is programs that write programs.
(14033 views)
Book cover: Understanding Programming LanguagesUnderstanding Programming Languages
by - John Wiley & Sons
The book explains what alternatives are available to the language designer, how language constructs should be used for safety and readability, how language constructs are implemented, the role of language in expressing and enforcing abstractions.
(12107 views)
Book cover: Programming and Programming LanguagesProgramming and Programming Languages
by - Brown University
Many people would regard this as being two books in one. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.
(3700 views)