Types for proofs and programs international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers (Springer, 2007)