Vincent Moreau

Affiliations:

According to our database¹, Vincent Moreau authored at least 4 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Profinite trees, through monads and the lambda-calculus.

[BibT_eX]

[DOI]

CoRR, 2024

Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2023

Profinite lambda-terms and parametricity.

[BibT_eX]

[DOI]

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023