Italiano (Italian) English (Inglese)
Monday, 15 April 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