Profinite lambda-terms and parametricity. - Sam van Gool; Paul-André Melliès; Vincent Moreau 001 (MFPS, 2023)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations. - Vincent Moreau 001; Lê Thành Dung Nguyên (CoRR, 2023)

Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations. - Vincent Moreau 001; Lê Thành Dung Nguyên (CSL, 2024)

Profinite trees, through monads and the lambda-calculus. - Vincent Moreau 001 (CoRR, 2024)