You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995. Type theory is a formalism in which theorems and proofs, specifications and programs can be represented in a uniform way. The 19 papers included in the book deal with foundations of type theory, logical frameworks, and implementations and applications; all in all they constitute a state-of-the-art survey for the area of type theory.
None
Medieval Jewelry and Burial Assemblages in Croatia analyzes the Croatian archaeological heritage from the 8th to the 15th century, consisting mostly of jewelry (earrings) findings from cemeteries. Stratigraphy is used to establish horizons and phases of material culture, as well as the structure of the burial chambers. All in comparison with materials from neighboring regions of Europe.
None
Proceedings of the XV IUPPS World Congress (Lisbon, 4-9 September 2006) This book contains both English and French papers.
None