First Published in 2001. Routledge is an imprint of Taylor & Francis, an informa company.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lökeberg, Sweden, in June 1999. The 11 revised full papers presented in the volume were carefully reviewed and selected during two rounds of refereeing. All current issues on type theory and type systems and their applications to programming and proof theory are addressed.

First Published in 2001. Coinage and History of the Roman Empire is an invaluable study in the fields of Roman history and numismatics. Current scholarship is invoked throughout as a corrective to other published sources: hundreds f significat updates in chronology, historical perspective and numismatic attribution make this book indispensable. The book consists of two volumes: volume one, History; volume two: Coinage. The 550-year period covered- The Imperatorial Age: c. 82-27 B.C; and The Roman Empire: 27 B.C to A.D 480- is divided into twelve epochs, each prefaced with an overview of the period's social and historical developments. Coinage and History of the Roman Empire is fully illustrated (including family trees, tables, maps) and includes an extensive bibliography as well alphabetical and chronological indexes.