Produktbild
Herman (Hrsg.) Geuvers

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Ebook (PDF Format)

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L¿of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: Constructive Validity Revisited by Dana Scott, From the Rules of Logic to the Logic of Rules by… Mehr

CHF 106.50

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Wiedijk, Freek (Hrsg.)
  • ISBN: 978-3-540-39185-2
  • EAN: 9783540391852
  • Produktnummer: 37287832
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2003
  • Seitenangabe: 336 S.
  • Plattform: PDF
  • Auflage: 2003
  • Reihenbandnummer: 2646

5 weitere Werke von Herman (Hrsg.) Geuvers:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.