Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers - Giménez, Eduardo, 1967-; Paulin-Mohring, Christine, 1962- (Lecture notes in computer science ;, 1998)