Coinductive Control of Inductive Data Types. - Paige Randall North; Maximilien Péroux (CALCO, 2023)

Measuring data types. - Lukas Mulder; Paige Randall North; Maximilien Péroux (CoRR, 2024)

Functoriality of Enriched Data Types. - Lukas Mulder; Paige Randall North; Maximilien Péroux (CoRR, 2025)