@misc{indiciae7edb476107ea,
  title = {Linearly Refined Session Types},
  author = {Pedro Baltazar and Dimitris Mostrous and Vasco T. Vasconcelos},
  year = {2012},
  doi = {10.4204/eptcs.101.4},
  url = {https://arxiv.org/abs/1211.4099},
  note = {Source identifier: 1211.4099}
}