LIBRARY Types for Proofs and Programs: International Workshop TYPES’96 Aussois, France, December 15–19, 1996 Selected Papers 1998 · ENGLISH · DJVU View details →