L. Santocanale, “A Calculus of Circular Proofs and its Categorical Semantics”, BRICS, vol. 8, no. 15, May 2001.