Santocanale, L. (2001) “A Calculus of Circular Proofs and its Categorical Semantics”, BRICS Report Series, 8(15). doi: 10.7146/brics.v8i15.20472.