Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
| Date first appeared online | 29/06/2020 |
| DOI | 10.4230/LIPIcs.ICALP.2020.135 |
| Authors | Pradic C. |
| Journal Name | 47th International Colloquium on Automata, Languages and Programming (ICALP 2020) |
| Volume | 168 |
Documents
- 58111.pdf , Book, © Lê Thành D˜ung Nguy˜en and Pierre Pradic; licensed under Creative Commons License CC-BY