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

Introduction to Type Theory

Introduction to Type Theory
by Herman Geuvers

Publisher: Radboud University Nijmegen 2011
Number of pages: 57

The author gives an introductory overview of type theory for PhD students. He focuses on the use of type theory for compile-time checking of functional programs and on the use of types in proof assistants (theorem provers).

Home page url

Download or read it online here:

Download link

 (350KB, PDF)