[TYPES/announce] New book: Type Theory and Formal Proof

[Herman Geuvers]

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