Conference Paper/Proceeding/Abstract 278 views 142 downloads
Weihrauch Problems as Containers
Lecture Notes in Computer Science, Volume: 15764, Pages: 395 - 409
Swansea University Authors:
Cécilia Pradic , Ian Price
-
PDF | Accepted Manuscript
Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).
Download (793.95KB)
DOI (Published version): 10.1007/978-3-031-95908-0_28
Abstract
Weihrauch Problems as Containers
| Published in: | Lecture Notes in Computer Science |
|---|---|
| ISBN: | 9783031959073 9783031959080 |
| ISSN: | 0302-9743 1611-3349 |
| Published: |
Cham
Springer Nature Switzerland
2025
|
| Online Access: |
Check full text
|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa69283 |
| first_indexed |
2025-04-13T06:02:08Z |
|---|---|
| last_indexed |
2025-07-04T06:41:21Z |
| id |
cronfa69283 |
| recordtype |
SURis |
| fullrecord |
<?xml version="1.0"?><rfc1807><datestamp>2025-07-03T14:49:37.9361398</datestamp><bib-version>v2</bib-version><id>69283</id><entry>2025-04-12</entry><title>Weihrauch Problems as Containers</title><swanseaauthors><author><sid>3b6e9ebd791c875dac266b3b0b358a58</sid><ORCID>0000-0002-1600-8846</ORCID><firstname>Cécilia</firstname><surname>Pradic</surname><name>Cécilia Pradic</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>bdc2b56a25bb7272cbbfdb189e5402d6</sid><firstname>Ian</firstname><surname>Price</surname><name>Ian Price</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2025-04-12</date><deptcode>MACS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Lecture Notes in Computer Science</journal><volume>15764</volume><journalNumber/><paginationStart>395</paginationStart><paginationEnd>409</paginationEnd><publisher>Springer Nature Switzerland</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783031959073</isbnPrint><isbnElectronic>9783031959080</isbnElectronic><issnPrint>0302-9743</issnPrint><issnElectronic>1611-3349</issnElectronic><keywords>Weihrauch reducibility; Containers; Polynomial functors</keywords><publishedDay>20</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2025</publishedYear><publishedDate>2025-06-20</publishedDate><doi>10.1007/978-3-031-95908-0_28</doi><url/><notes>Lecture Notes in Computer Science (LNCS, volume 15764)</notes><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2025-07-03T14:49:37.9361398</lastEdited><Created>2025-04-12T23:14:59.6597784</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>Cécilia</firstname><surname>Pradic</surname><orcid>0000-0002-1600-8846</orcid><order>1</order></author><author><firstname>Ian</firstname><surname>Price</surname><order>2</order></author></authors><documents><document><filename>69283__34582__1b66ec90bbce44db98439b23cc1805f0.pdf</filename><originalFilename>2501.17250v2.pdf</originalFilename><uploaded>2025-06-25T16:33:52.1224973</uploaded><type>Output</type><contentLength>813003</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><documentNotes>Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/deed.en</licence></document></documents><OutputDurs/></rfc1807> |
| spelling |
2025-07-03T14:49:37.9361398 v2 69283 2025-04-12 Weihrauch Problems as Containers 3b6e9ebd791c875dac266b3b0b358a58 0000-0002-1600-8846 Cécilia Pradic Cécilia Pradic true false bdc2b56a25bb7272cbbfdb189e5402d6 Ian Price Ian Price true false 2025-04-12 MACS Conference Paper/Proceeding/Abstract Lecture Notes in Computer Science 15764 395 409 Springer Nature Switzerland Cham 9783031959073 9783031959080 0302-9743 1611-3349 Weihrauch reducibility; Containers; Polynomial functors 20 6 2025 2025-06-20 10.1007/978-3-031-95908-0_28 Lecture Notes in Computer Science (LNCS, volume 15764) COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Not Required 2025-07-03T14:49:37.9361398 2025-04-12T23:14:59.6597784 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Cécilia Pradic 0000-0002-1600-8846 1 Ian Price 2 69283__34582__1b66ec90bbce44db98439b23cc1805f0.pdf 2501.17250v2.pdf 2025-06-25T16:33:52.1224973 Output 813003 application/pdf Accepted Manuscript true Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention). true eng https://creativecommons.org/licenses/by/4.0/deed.en |
| title |
Weihrauch Problems as Containers |
| spellingShingle |
Weihrauch Problems as Containers Cécilia Pradic Ian Price |
| title_short |
Weihrauch Problems as Containers |
| title_full |
Weihrauch Problems as Containers |
| title_fullStr |
Weihrauch Problems as Containers |
| title_full_unstemmed |
Weihrauch Problems as Containers |
| title_sort |
Weihrauch Problems as Containers |
| author_id_str_mv |
3b6e9ebd791c875dac266b3b0b358a58 bdc2b56a25bb7272cbbfdb189e5402d6 |
| author_id_fullname_str_mv |
3b6e9ebd791c875dac266b3b0b358a58_***_Cécilia Pradic bdc2b56a25bb7272cbbfdb189e5402d6_***_Ian Price |
| author |
Cécilia Pradic Ian Price |
| author2 |
Cécilia Pradic Ian Price |
| format |
Conference Paper/Proceeding/Abstract |
| container_title |
Lecture Notes in Computer Science |
| container_volume |
15764 |
| container_start_page |
395 |
| publishDate |
2025 |
| institution |
Swansea University |
| isbn |
9783031959073 9783031959080 |
| issn |
0302-9743 1611-3349 |
| doi_str_mv |
10.1007/978-3-031-95908-0_28 |
| publisher |
Springer Nature Switzerland |
| 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 |
2025-06-20T17:53:43Z |
| _version_ |
1850691785211248640 |
| score |
11.08899 |

