"A Calculus of Circular Proofs and Its Categorical Semantics."

Luigi Santocanale (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics