Sign in
Vincent Moreau
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Positive Data
Grammatical Inference
Regular Languages
Top Venues
CSL
</>
Publications
</>
Vincent Moreau
,
Lê Thành Dung Nguyên
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations.
CSL
(2024)