Publications
| Authors: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Title: | Characterization of Typings in Polymorphic Type Discipline |
| Published on: | Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science |
| Pages: | 61-70 |
| Year: | 1988 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |