Italiano (Italian) English (Inglese)
giovedì, 28 marzo 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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