L. Santocanale, “A Calculus of Circular Proofs and its Categorical Semantics”, BRICS, bd. 8, nr. 15, maj 2001.