Computational expressivity of (circular) proofs with fixed points.

Gianluca Curzi, Anupam Das

Browse the full LICS paper archive.