Conference Paper/Proceeding/Abstract 724 views 191 downloads
Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
Lê Thành Dung Nguyên,
Cécilia Pradic 
47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Volume: 168, Pages: 135:1 - 135:20
Swansea University Author:
Cécilia Pradic
-
PDF | Version of Record
© Lê Thành D˜ung Nguy˜en and Pierre Pradic; licensed under Creative Commons License CC-BY
Download (605.31KB)
DOI (Published version): 10.4230/LIPIcs.ICALP.2020.135
Abstract
Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
| Published in: | 47th International Colloquium on Automata, Languages and Programming (ICALP 2020) |
|---|---|
| ISBN: | 978-3-95977-138-2 |
| ISSN: | 1868-8969 |
| Published: |
Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik
2020
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa58111 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Item Description: |
https://drops.dagstuhl.de/opus/volltexte/2020/12542/ |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
135:1 |
| End Page: |
135:20 |