Computer Science, Logic in Computer Science Computational Expressivity of (Circular) Proofs with Fixed Points December 21, 2023