TY  - RPRT
TI  - Non-uniform complexity via non-wellfounded proofs
AU  - Gianluca Curzi
AU  - Anupam Das
PY  - 2022
UR  - https://arxiv.org/abs/2211.16104
ID  - 2211.16104
ER  -