Implicit Automata in Typed ?-Calculi I: Aperiodicity in a Non-Commutative Logic
- Publication date
- 1 January 2020
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)