@Unpublished{     parys:hal-01850934,
  Author        = "Parys, Pawel",
  date-added    = "2018-12-04 09:07:26 +0100",
  date-modified = "2018-12-04 09:07:53 +0100",
  hal_id        = "hal-01850934",
  hal_version   = "v1",
  Keywords      = "simultaneous-unboundedness problem, higher-order recursion schemes, intersection types, reflection, citesme!",
  Month         = "July",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-01850934/file/types-diagonal.pdf",
  Title         = "{A Type System Describing Unboundedness}",
  URL           = "https://hal.archives-ouvertes.fr/hal-01850934",
  Year          = "2018",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-01850934",
  File          = "types-diagonal (0) - a - a - i.pdf"
}

@Unpublished{ parys:hal-01850934, Author = "Parys, Pawel", date-added = "2018-12-04 09:07:26 +0100", date-modified = "2018-12-04 09:07:53 +0100", hal_id = "hal-01850934", hal_version = "v1", Keywords = "simultaneous-unboundedness problem, higher-order recursion schemes, intersection types, reflection, citesme!", Month = "July", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-01850934/file/types-diagonal.pdf", Title = "{A Type System Describing Unboundedness}", URL = "https://hal.archives-ouvertes.fr/hal-01850934", Year = "2018", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-01850934", File = "types-diagonal (0) - a - a - i.pdf" }