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)