No Cover Image

Conference Paper/Proceeding/Abstract 19 views 3 downloads

Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic / Lê Thành Dung Nguyên, Pierre Pradic

47th International Colloquium on Automata, Languages and Programming (ICALP 2020), Volume: 168, Pages: 135:1 - 135:20

Swansea University Author: Pierre Pradic

  • 58111.pdf

    PDF | Version of Record

    © Lê Thành D˜ung Nguy˜en and Pierre Pradic; licensed under Creative Commons License CC-BY

    Download (605.31KB)
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: College of Science
Start Page: 135:1
End Page: 135:20