" Polymorphic "

an expression that has different meanings in different logical categories


by Johan Georg Granstrom, from Treatise on Intuitionistic Type Theory, 92p