Characterization of typings in polymorphic type discipline (1988)

by P Giannini, della Rocca, S
Venue:In : Third Symposium on Logic in Computer Science, pp