Types for Proofs and Programs

This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...