View of A Calculus of Circular Proofs and its Categorical Semantics

Return to Article Details A Calculus of Circular Proofs and its Categorical Semantics Download Download PDF