@misc{indiciae46126435fc1d,
  title = {Factoring Derivation Spaces via Intersection Types (Extended Version)},
  author = {Pablo Barenbaum and Gonzalo Ciruelos},
  year = {2019},
  doi = {10.1007/978-3-030-02768-1\textbackslash{}\_2},
  url = {https://arxiv.org/abs/1907.08820},
  note = {Source identifier: 1907.08820}
}