Italiano (Italian) English (Inglese)
Sunday, 24 November 2024

Publications

Back
Pubblication Details
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