Workshop on Intersection Types and Related Systems (ITRS '00)