Santocanale, Luigi. “A Calculus of Circular Proofs and Its Categorical Semantics”. BRICS Report Series 8, no. 15 (May 15, 2001). Accessed January 19, 2026. https://tidsskrift.dk/brics/article/view/20472.