Well-definedness and observational equivalence for inductive-coinductive programs

Henning Basold, Helle Hvid Hansen. Well-definedness and observational equivalence for inductive-coinductive programs. Journal of Logic and Computation, 29(4):419-468, 2019. [doi]

Abstract

Abstract is missing.