Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers - Eduardo Giménez, Christine Paulin-Mohring ((Lecture Notes in Computer Science))