TY  - RPRT
TI  - Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic
AU  - Stefano Berardi
AU  - Makoto Tatsuta
PY  - 2017
UR  - https://arxiv.org/abs/1712.03502
ID  - 1712.03502
ER  -