Types for Proofs and Programs

"Types for Proofs and Programs" ist eine Sammlung von ausgewählten, begutachteten Beiträgen, die im Rahmen des jährlichen Workshops des TYPES-Projekts präsentiert wurden. Dieser Workshop fand vom 26. bis 29. März 2008 in Turin, Italien, statt und brachte über 100 Forscher zusammen, die sich mit formalen Methoden und Computerprogrammierung auf Basis der Typentheorie beschäftigten. Die behandelten Themen umfassen unter anderem Programmiersprachen, computergestützte Werkzeuge für das formale Schliessen sowie deren Anwendungen in verschiedenen Bereichen wie der Analyse von Programmiersprachen, zertifizierter Software und der formalen Mathematik. Die Beiträge wurden aus 27 eingereichten Arbeiten ausgewählt, die einem strengen Begutachtungsprozess unterzogen wurden. Die Herausgeber, Stefano Berardi, Ferruccio Damiani und Ugo De Liguoro, haben die Qualität und Relevanz der Arbeiten sichergestellt, um einen wertvollen Beitrag zur wissenschaftlichen Diskussion in diesem Bereich zu leisten.