Octocurious

santocanale2002-circular-proofs

1 min read

Santocanale, L. (2002). A calculus of circular proofs and its categorical semantics.

Graph View

Backlinks