Implicit automata in typed λ-calculi I: aperiodicity in a non-commutative logic


Lê Thành Dũng Nguyễn, LIP, ENS Lyon. 22 février 2024 10:00 TLR limd 2:00:00
Abstract:

We give a characterization of star-free languages (a well-known subclass of regular languages) in a λ-calculus with support for non-commutative affine types (in the sense of linear logic), via the algebraic characterization of the former using aperiodic monoids. This was the first result in a research program that Cécilia Pradic (Swansea University) and I have carried out since my PhD, on which I will say a few words.