We stand with Ukraine  

Vincent Moreau

Affiliations:
  • Paris Cité University, IRIF, Paris, France


According to our database1, Vincent Moreau authored at least 6 papers between 2023 and 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
A cartesian closed fibration of higher-order regular languages.
[BibTeX]
[DOI]
Paul-André Melliès
,
Vincent Moreau
CoRR, January, 2026

2025
A topological and fibrational approach to higher-order automata. (Une approche topologique et fibrationnelle des automates d'ordre supérieur).
[BibTeX]
[DOI]
Vincent Moreau
PhD thesis, 2025

2024
Profinite trees, through monads and the lambda-calculus.
[BibTeX]
[DOI]
Vincent Moreau
CoRR, 2024

Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations.
[BibTeX]
[DOI]
Vincent Moreau
,
Lê Thành Dung Nguyên
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
Syntactically and semantically regular languages of lambda-terms coincide through logical relations.
[BibTeX]
[DOI]
Vincent Moreau
,
Lê Thành Dung Nguyên
CoRR, 2023

Profinite lambda-terms and parametricity.
[BibTeX]
[DOI]
Sam van Gool
,
Paul-André Melliès
,
Vincent Moreau
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023


  Loading...