A modern perspective on type theory from its origins until today (Kluwer, 2005)
Includes bibliographical references (p. 337-348) and indexes