@InProceedings{   Parysd,
  Author        = "Parys, Pawe{\l}",
  BookTitle     = "Proc. of ITRS'16",
  date-added    = "2016-04-11 13:17:39 +0000",
  date-modified = "2016-04-11 13:17:57 +0000",
  Title         = "Intersection Types and Counting",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1701.05303v1",
  bdsk-url-2    = "https://arxiv.org/abs/1702.02278",
  File          = "Intersection Types and Counting - Parys (0) (0) - a - a - w.pdf",
  file-2        = "1702.02278 (0) - a - a - w.pdf",
  file-3        = "1701.05303v1 (0) - a - a - w.pdf"
}

@InProceedings{ Parysd, Author = "Parys, Pawe{\l}", BookTitle = "Proc. of ITRS'16", date-added = "2016-04-11 13:17:39 +0000", date-modified = "2016-04-11 13:17:57 +0000", Title = "Intersection Types and Counting", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1701.05303v1", bdsk-url-2 = "https://arxiv.org/abs/1702.02278", File = "Intersection Types and Counting - Parys (0) (0) - a - a - w.pdf", file-2 = "1702.02278 (0) - a - a - w.pdf", file-3 = "1701.05303v1 (0) - a - a - w.pdf" }