Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs

authors: Stefano Berardi, Makoto Tatsuta
year: 2018
url: https://doi.org/10.1007/978-3-030-00389-0\_3
publisher: Springer LNCS 11202
abstract: