Santocanale, L. A Calculus of Circular Proofs and Its Categorical Semantics. BRICS 2001, 8.