[TYPES] Book on type theory

[Fairouz Kamareddine]

We would like to announce our new book which may be of interest to
some types readers:

A Modern Perspective on Type Theory  From its Origins Until Today
Kluwer Academic Publishers, Applied Logic Series,
Volume 29. 357 pages. May 2004. ISBN 1-4020-2334-0

Further information can be found on Kluwer information about it:
http://www.wkap.nl/prod/b/1-4020-2334-0

Fairouz Kamareddine, Twan Laan and Rob Nederpelt