Some Results on Classical Semantics and Polymorphic Types