Mario Coppo On the Semantics of Polymorphism. 159-170 1983 20 Acta Inf. db/journals/acta/acta20.html#Coppo83