@PhdThesis{       Compagnoni,
  Author        = "Compagnoni, Adriana Beatriz",
  date-added    = "2013-07-10 09:46:05 +0000",
  date-modified = "2013-07-10 09:46:45 +0000",
  Keywords      = "intersection types",
  Title         = "Higher-Order Subtyping with Intersection Types",
  Year          = "1995",
  File          = "Higher-Order Subtyping with Intersection Types - Compagnoni (0) (0) - a - a - t.pdf"
}

@PhdThesis{ Compagnoni, Author = "Compagnoni, Adriana Beatriz", date-added = "2013-07-10 09:46:05 +0000", date-modified = "2013-07-10 09:46:45 +0000", Keywords = "intersection types", Title = "Higher-Order Subtyping with Intersection Types", Year = "1995", File = "Higher-Order Subtyping with Intersection Types - Compagnoni (0) (0) - a - a - t.pdf" }