@misc{indiciae9a9f79d8d1c6,
  title = {Proceedings Seventh Workshop on Intersection Types and Related Systems},
  author = {Jakob Rehof},
  year = {2015},
  doi = {10.4204/eptcs.177},
  url = {https://arxiv.org/abs/1503.04377},
  note = {Source identifier: 1503.04377}
}