Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System

@inproceedings{Berardi2017ClassicalSO,
  title={Classical System of Martin-L{\"o}f's Inductive Definitions Is Not Equivalent to Cyclic Proof System},
  author={Stefano Berardi and Makoto Tatsuta},
  booktitle={FoSSaCS},
  year={2017}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 1 time over the past 90 days. VIEW TWEETS