Characterization of typings in polymorphic type discipline

Paola Giannini, Simona Ronchi Della Rocca

Browse the full LICS paper archive.