Maximilien Péroux

Orcid: 0000-0003-0482-5918

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
Functoriality of Enriched Data Types.
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, May, 2025

2024
Measuring data types.
CoRR, 2024

2023
Coinductive Control of Inductive Data Types.
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023


  Loading...