Types for Proofs and Programs

"Types for Proofs and Programs" est une collection d'articles sélectionnés et évalués par des pairs, présentés lors de l'atelier annuel du projet TYPES. Cet atelier s'est tenu du 26 au 29 mars 2008 à Turin, en Italie, et a rassemblé plus de 100 chercheurs travaillant sur les méthodes formelles et la programmation informatique basée sur la théorie des types. Les sujets abordés incluent, entre autres, les langages de programmation, les outils informatiques pour le raisonnement formel, ainsi que leurs applications dans divers domaines tels que l'analyse des langages de programmation, les logiciels certifiés et les mathématiques formelles. Les contributions ont été sélectionnées parmi 27 travaux soumis, qui ont été soumis à un processus d'évaluation rigoureux. Les éditeurs, Stefano Berardi, Ferruccio Damiani et Ugo De Liguoro, ont veillé à la qualité et à la pertinence des travaux afin d'apporter une contribution précieuse à la discussion scientifique dans ce domaine.