No Cover Image

Conference Paper/Proceeding/Abstract 589 views 174 downloads

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

Lê Thành Dung Nguyên, Cécilia Pradic Orcid Logo

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

Swansea University Author: Cécilia Pradic Orcid Logo

  • 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)

Check full text

DOI (Published version): 10.4230/LIPIcs.ICALP.2020.135

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!
first_indexed 2021-10-15T15:28:10Z
last_indexed 2021-10-19T03:23:09Z
id cronfa58111
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2021-10-18T13:22:35.7651926</datestamp><bib-version>v2</bib-version><id>58111</id><entry>2021-09-27</entry><title>Implicit Automata in Typed &#x3BB;-Calculi I: Aperiodicity in a Non-Commutative Logic</title><swanseaauthors><author><sid>3b6e9ebd791c875dac266b3b0b358a58</sid><ORCID>0000-0002-1600-8846</ORCID><firstname>C&#xE9;cilia</firstname><surname>Pradic</surname><name>C&#xE9;cilia Pradic</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-09-27</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>47th International Colloquium on Automata, Languages and Programming (ICALP 2020)</journal><volume>168</volume><journalNumber/><paginationStart>135:1</paginationStart><paginationEnd>135:20</paginationEnd><publisher>Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik</publisher><placeOfPublication/><isbnPrint/><isbnElectronic>978-3-95977-138-2</isbnElectronic><issnPrint/><issnElectronic>1868-8969</issnElectronic><keywords/><publishedDay>29</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2020</publishedYear><publishedDate>2020-06-29</publishedDate><doi>10.4230/LIPIcs.ICALP.2020.135</doi><url/><notes>https://drops.dagstuhl.de/opus/volltexte/2020/12542/</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2021-10-18T13:22:35.7651926</lastEdited><Created>2021-09-27T22:45:16.3223664</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>L&#xEA; Th&#xE0;nh Dung</firstname><surname>Nguy&#xEA;n</surname><order>1</order></author><author><firstname>C&#xE9;cilia</firstname><surname>Pradic</surname><orcid>0000-0002-1600-8846</orcid><order>2</order></author></authors><documents><document><filename>58111__21178__ed91a6f1adf747af8401840c41777eed.pdf</filename><originalFilename>58111.pdf</originalFilename><uploaded>2021-10-15T16:28:35.2104272</uploaded><type>Output</type><contentLength>619837</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>&#xA9; L&#xEA; Th&#xE0;nh D&#x2DC;ung Nguy&#x2DC;en and Pierre Pradic; licensed under Creative Commons License CC-BY</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/3.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2021-10-18T13:22:35.7651926 v2 58111 2021-09-27 Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic 3b6e9ebd791c875dac266b3b0b358a58 0000-0002-1600-8846 Cécilia Pradic Cécilia Pradic true false 2021-09-27 SCS Conference Paper/Proceeding/Abstract 47th International Colloquium on Automata, Languages and Programming (ICALP 2020) 168 135:1 135:20 Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik 978-3-95977-138-2 1868-8969 29 6 2020 2020-06-29 10.4230/LIPIcs.ICALP.2020.135 https://drops.dagstuhl.de/opus/volltexte/2020/12542/ COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2021-10-18T13:22:35.7651926 2021-09-27T22:45:16.3223664 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Lê Thành Dung Nguyên 1 Cécilia Pradic 0000-0002-1600-8846 2 58111__21178__ed91a6f1adf747af8401840c41777eed.pdf 58111.pdf 2021-10-15T16:28:35.2104272 Output 619837 application/pdf Version of Record true © Lê Thành D˜ung Nguy˜en and Pierre Pradic; licensed under Creative Commons License CC-BY true eng https://creativecommons.org/licenses/by/3.0/
title Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
spellingShingle Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
Cécilia Pradic
title_short Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
title_full Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
title_fullStr Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
title_full_unstemmed Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
title_sort Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
author_id_str_mv 3b6e9ebd791c875dac266b3b0b358a58
author_id_fullname_str_mv 3b6e9ebd791c875dac266b3b0b358a58_***_Cécilia Pradic
author Cécilia Pradic
author2 Lê Thành Dung Nguyên
Cécilia Pradic
format Conference Paper/Proceeding/Abstract
container_title 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)
container_volume 168
container_start_page 135:1
publishDate 2020
institution Swansea University
isbn 978-3-95977-138-2
issn 1868-8969
doi_str_mv 10.4230/LIPIcs.ICALP.2020.135
publisher Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
published_date 2020-06-29T04:14:22Z
_version_ 1763753971168575488
score 11.016235

Similar Items