A Calculus of Circular Proofs and Its Categorical Semantics (2002)

by Luigi Santocanale
Venue:of Lecture Notes in Computer Science