Luigi Santocanale A Calculus of Circular Proofs and Its Categorical Semantics. 357-371 2002 conf/fossacs/2002 FoSSaCS http://dx.doi.org/10.1007/3-540-45931-6_25 db/conf/fossacs/fossacs2002.html#Santocanale02