Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic.

L Thnh Dung Nguyn, Ccilia Pradic

Browse the full ICALP paper archive.