Types for proofs and programs international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / - Filliâtre, Jean-Christophe.; Paulin-Mohring, Christine,; Werner, Benjamin. (Lecture notes in computer science,)