Pubblicazioni
| Autori: | Paola Giannini |
| Simona Ronchi Della Rocca | |
| Titolo: | Characterization of Typings in Polymorphic Type Discipline |
| Apparso su: | Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science |
| Pagine: | 61-70 |
| Anno: | 1988 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |