> Would anyone point out the literature on the semantics of > intersection types? In addition to Steffen's references, what about Benjamin Pierce's work in intersection types? --Arend