@misc{indiciae875e2acdaa73,
  title = {Reduction in X does not agree with Intersection and Union Types (Extended abstract)},
  author = {Steffen van Bakel},
  year = {2011},
  url = {https://arxiv.org/abs/1109.4570},
  note = {Source identifier: 1109.4570}
}