1
Types for Proofs and Programs [E-Book] : International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers /