Circular Proofs as Session-Typed Processes: A Local Validity Condition (Logical Methods in Computer Science, 2022)