Types for Proofs and Programs


Book Description

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.




Coinage and History of the Roman Empire


Book Description

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.










Roman History from Coins


Book Description

This 1968 study examines how Rome used currency to inform direct or deceive public opinion and also considers the results of this exploitation.




Historical Roman Coins


Book Description