@inproceedings{liquori:hal-01760641,
  TITLE = {{A Decidable Subtyping Logic for Intersection and Union Types}},
  AUTHOR = {Liquori, Luigi and Stolze, Claude},
  URL = {https://inria.hal.science/hal-01760641},
  NOTE = {Part 3: Logic, Semantics, and Programming Theory},
  BOOKTITLE = {{TTCS 2017 - 2nd International Conference on Topics in Theoretical Computer Science}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Mohammad Reza Mousavi and Ji{\v r}{\'i} Sgall},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Topics in Theoretical Computer Science},
  VOLUME = {LNCS-10608},
  PAGES = {74-90},
  YEAR = {2017},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-68953-1\_7},
  KEYWORDS = {Subtype systems ; Type ; Logics and lambda-calculus},
  PDF = {https://inria.hal.science/hal-01760641/file/440117_1_En_7_Chapter.pdf},
  HAL_ID = {hal-01760641},
  HAL_VERSION = {v1},
}