Title: Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, Frg, April 24-26, 1989