TY  - RPRT
TI  - Computational expressivity of (circular) proofs with fixed points
AU  - Gianluca Curzi
AU  - Anupam Das
PY  - 2025
DO  - 10.46298/lmcs-21(4:18)2025
UR  - https://arxiv.org/abs/2302.14825
ID  - 2302.14825
ER  -