The Coq mailing list

[Herman Geuvers <herman AT cs.ru.nl>]

We are proud to present our book

        Type Theory and Formal Proof
        An Introduction

that has appeared with Cambridge University Press.

See http://www.win.tue.nl/~wsinrpn/book_type_theory.htm for a more 
detailed description of the aims and the content of the book.

CUP provides the book in a hardback version and as an eBook.
The site books.google.com (search: type+theory+formal+proof) gives an 
impression of the printed book text.


Rob Nederpelt, Herman Geuvers
Eindhoven University of Technology, Radboud University Nijmegen