@misc{indiciae9357d125c81e,
  title = {Circular Proofs as Session-Typed Processes: A Local Validity Condition},
  author = {Farzaneh Derakhshan and Frank Pfenning},
  year = {2022},
  doi = {10.46298/lmcs-18(2:8)2022},
  url = {https://arxiv.org/abs/1908.01909},
  note = {Source identifier: 1908.01909}
}