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.
@inproceedings{GianniniR88,
title = {Characterization of typings in polymorphic type discipline},
author = {Paola Giannini and Simona Ronchi Della Rocca},
year = {1988},
researchr = {https://researchr.org/publication/GianniniR88},
cites = {0},
citedby = {0},
pages = {61-70},
booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society},
}