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

Cached

Download Links

by Luigi Santocanale
Venue:
Citations:16 - 5 self