Types for Proofs and Programs [electronic resource] : International Workshop,