Andreas Abel. Compositional Coinduction with Sized Types. Ichiro Hasuo. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. Lecture Notes in Computer Science, LNCS-9608, pp.5-10, 2016, Coalgebra
HAL Archives-Ouvertes,
hal-01446030, version 1 Abstract : Proofs by induction on some inductively defined structure, e.