Vincent Moreau

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 4

Top Topics

Regular Languages

Lambda Calculus

Top Venues

Publications

Vincent Moreau
Profinite trees, through monads and the lambda-calculus. CoRR (2024)
Sam van Gool, Paul-André Melliès, Vincent Moreau
Profinite lambda-terms and parametricity. CoRR (2023)
Vincent Moreau, Lê Thành Dung Nguyên
Syntactically and semantically regular languages of lambda-terms coincide through logical relations. CoRR (2023)
Joris Blommaert, Gérard Habay, Luca Maresi, Helene Strese, Alessandro Zuccaro Marchi, Benoit Deper, Mikko Viitala, Bavo Delauré, Stefan Livens, Dirk Nuyts, Klaas Tack, Andy Lambrechts, Roberto Di Paola, Vincent Moreau, Eric Callut
CSIMBA: Towards a Smart-Spectral Cubesat Constellation. IGARSS (2019)
Mohamed Benali-Khoudja, Moustapha Hafez, Jean-Marc Alexandre, Abderrahmane Kheddar, Vincent Moreau
VITAL: a New low-cost Vibro-tactile Display System. ICRA (2004)