Types for Proofs and Programs International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers - Gimenez, Eduardo; Gimenez, Eduardo; Paulin-Mohring, Christine; Paulin-Mohring, Christine (Springer Berlin Heidelberg : Imprint: Springer, 1998)