A calculus of circular proofs and its categorical semantics (2002)

by L Santocanale
Venue:of Lecture Notes in Computer Science