Maximilien Péroux

Orcid: 0000-0003-0482-5918

According to our database¹, Maximilien Péroux authored at least 3 papers between 2023 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Functoriality of Enriched Data Types.

[DOI]

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, May, 2025

2024

Measuring data types.

[DOI]

CoRR, 2024

2023

Coinductive Control of Inductive Data Types.

[DOI]

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023