Coinage and history of the Roman Empire, c. 82 B.C.- A.D. 480. Vol. 1, History (Book, 1999) []
skip to content
Coinage and history of the Roman Empire, c. 82 B.C.- A.D. 480. Vol. 1, History Preview this item
ClosePreview this item

Coinage and history of the Roman Empire, c. 82 B.C.- A.D. 480. Vol. 1, History

Author: David L Vagi; Thierry Coquand
Publisher: Chicago, Ill. ; London : Fitzroy Dearborn.
Edition/Format:   Print book : Biography : EnglishView all editions and formats

This work constitutes the post-workshop proceedings of the Third International Workshop, TYPES'99, organized by the ESPRIT Working Group 21900, in Lokeberg, Sweden, in June 1999. Issues on type  Read more...


(not yet rated) 0 with reviews - Be the first.

More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Genre/Form: Catalogs
Material Type: Biography
Document Type: Book
All Authors / Contributors: David L Vagi; Thierry Coquand
ISBN: 1579583164 9781579583163 3540415173 9783540415176
OCLC Number: 223025322
Description: xix, 638 pages : illustrations ; 24 cm
Contents: Specification and verification of a formal system for structurally recursive functions / Andreas Abel --
A predicative strong normalisation proof for a [lambda]-calculus with interleaving inductive types / Andreas Abel and Thorsten Altenkirch --
Polymorphic intersection type assignment for rewrite systems with abstraction and b-rule / Steffen van Bakel, Franco Barbanera, and Maribel Fernández --
Computer-assisted mathematics at work (the Hahn-Banach theorem in Isabelle/Isar) / Gertrud Bauer and Markus Wenzel --
Specification of a smart card operating system / Gustavo Betarte [and others] --
Implementation techniques for inductive types in plastic / Paul Callaghan and Zhaohui Luo --
A co-inductive approach to real numbers / Alberto Ciaffaglione and Pietro Di Gianantonio --
Information retrieval in a Coq proof library using type isomorphisms / David Delahaye --
Memory management : an abstract formulation of incremental tracing / Healfdene Goguen, Richard Brooksby, and Rod Burstall --
The three gap theorem (Steinhaus conjecture) / Micaela Mayero --
Formalising formulas-as-types-as-objects / Qiao Haiyan.
Other Titles: TYPES '99
Responsibility: David L. Vagi.


Editorial reviews

Publisher Synopsis

"Students of Roman history, as well as beginners, will find much of value... All in all, these volumes are two of the most impressive works of reference to come along in many a day. In their field Read more...

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.