Santocanale, Luigi. “A Calculus of Circular Proofs and Its Categorical Semantics”. BRICS Report Series 8, no. 15 (maj 15, 2001). Set december 5, 2025. https://tidsskrift.dk/brics/article/view/20472.