@misc{indiciae36df5ead70f9,
  title = {Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness},
  author = {Dimitrios Kouzapas and Jorge A. Pérez and Nobuko Yoshida},
  year = {2015},
  url = {https://arxiv.org/abs/1502.02585},
  note = {Source identifier: 1502.02585}
}