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