@InProceedings{   Giannini-Ronchi:LICS-88,
  Author        = "Giannini, Paola and Ronchi Della Rocca, Simona",
  Address       = "Edinburgh",
  BookTitle     = "Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science",
  date-added    = "2013-07-10 13:18:23 +0000",
  date-modified = "2013-07-10 13:18:31 +0000",
  Keywords      = "polymorphic types",
  Pages         = "61-70",
  Title         = "Characterization of Typings in Polymorphic Type Discipline",
  Year          = "1988",
  File          = "Characterization of Typings in Polymorphic Type Discipline - Giannini, Ronchi Della Rocca (0) (0) - a - a - f.pdf"
}

@InProceedings{ Giannini-Ronchi:LICS-88, Author = "Giannini, Paola and Ronchi Della Rocca, Simona", Address = "Edinburgh", BookTitle = "Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science", date-added = "2013-07-10 13:18:23 +0000", date-modified = "2013-07-10 13:18:31 +0000", Keywords = "polymorphic types", Pages = "61-70", Title = "Characterization of Typings in Polymorphic Type Discipline", Year = "1988", File = "Characterization of Typings in Polymorphic Type Discipline - Giannini, Ronchi Della Rocca (0) (0) - a - a - f.pdf" }