books.google.fr - This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002. The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement....http://books.google.fr/books/about/Types_for_Proofs_and_Programs.html?hl=fr&id=dadkGKrw3lsC&utm_source=gb-gplus-shareTypes for Proofs and Programs
