Types for proofs and programs International Workshop, TYPES 2006 : Nottingham, UK, April 18-21, 2006 : revised selected papers - Altenkirch, Thorsten, 1962-; McBride, Conor (Lecture notes in computer science ;, 2007)