Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic - Cécilia Pradic (Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2020)
https://drops.dagstuhl.de/opus/volltexte/2020/12542/