TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES. - HYVERNAT, PIERRE (Logical Methods in Computer Science (LMCS), 2025)