Stefano Berardi, Makoto Tatsuta. Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs. Corina Cîrstea. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessalo
HAL Archives-Ouvertes,
Stefano Berardi, Makoto Tatsuta. Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and…