TY  - RPRT
TI  - Circular Proofs as Session-Typed Processes: A Local Validity Condition
AU  - Farzaneh Derakhshan
AU  - Frank Pfenning
PY  - 2022
DO  - 10.46298/lmcs-18(2:8)2022
UR  - https://arxiv.org/abs/1908.01909
ID  - 1908.01909
ER  -