Characterization of typings in polymorphic type discipline

Paola Giannini, Simona Ronchi Della Rocca. Characterization of typings in polymorphic type discipline. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 61-70, IEEE Computer Society, 1988.

Authors

Paola Giannini

This author has not been identified. It may be one of the following persons: Look up 'Paola Giannini' in Google

Simona Ronchi Della Rocca

Identified as Simona Ronchi Della Rocca