TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /