No Cover Image

Conference Paper/Proceeding/Abstract 1108 views

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

Full text not available from this repository: check for access using links below.

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
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>MACS</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>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</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/><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 MACS 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 Mathematics and Computer Science School COLLEGE CODE MACS 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
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 0
active_str 0
published_date 2020-06-29T16:34:29Z
_version_ 1850686801353637888
score 11.08899

Similar Items