{"id":"https://openalex.org/W4406890587","doi":"https://doi.org/10.4230/lipics.csl.2026.22","title":"On the Algorithmic Structure of Dialectica Realisers","display_name":"On the Algorithmic Structure of Dialectica Realisers","publication_year":2025,"publication_date":"2025-01-27","ids":{"openalex":"https://openalex.org/W4406890587","doi":"https://doi.org/10.4230/lipics.csl.2026.22"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2501.16208","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.16208","pdf_url":"https://arxiv.org/pdf/2501.16208","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.16208","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116056494","display_name":"Davide Barbarossa","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Barbarossa, Davide","raw_affiliation_strings":["Department of Computer Science, University of Bath, UK"],"raw_orcid":"https://orcid.org/0000-0003-4608-8282","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, UK","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5116056495","display_name":"Thomas Powell","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Powell, Thomas","raw_affiliation_strings":["Department of Computer Science, University of Bath, UK"],"raw_orcid":"https://orcid.org/0000-0002-2541-4678","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bath, UK","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5116056494"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00571091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6543999910354614,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.6543999910354614,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39103347063064575}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39103347063064575}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2501.16208","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.16208","pdf_url":"https://arxiv.org/pdf/2501.16208","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:25446","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2026.22","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol363-csl2026/LIPIcs.CSL.2026.22/LIPIcs.CSL.2026.22.pdf","source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"},{"id":"doi:10.48550/arxiv.2501.16208","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2501.16208","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.csl.2026.22","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.csl.2026.22","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.16208","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.16208","pdf_url":"https://arxiv.org/pdf/2501.16208","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4625311374","display_name":"Imperative programs from proofs","funder_award_id":"EP/W035847/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"G\u00f6del's":[0],"Dialectica":[1,50,63,93],"interpretation":[2],"is":[3,43,64],"a":[4,17,52,68,77,101,106,117],"fundamental":[5],"tool":[6],"for":[7,70,105,119],"the":[8,26,35,57,85,92,131],"extraction":[9],"of":[10,37,54,59,88,108],"computational":[11],"content":[12],"from":[13,34],"proofs,":[14],"and":[15,40,79,95,125],"plays":[16],"central":[18],"role":[19],"in":[20,44,56],"today's":[21],"proof":[22],"mining":[23],"program.":[24],"In":[25],"past":[27],"decades,":[28],"it":[29],"has":[30],"also":[31],"been":[32],"studied":[33],"perspective":[36],"programming":[38],"languages,":[39],"our":[41],"contribution":[42],"that":[45,74],"direction.":[46,81],"Specifically,":[47],"we":[48,96,128],"present":[49],"as":[51,67,115],"collection":[53],"rules":[55],"style":[58],"Hoare":[60],"logic,":[61],"where":[62],"now":[65],"viewed":[66],"language":[69],"specifying":[71],"procedural":[72],"programs":[73],"come":[75],"with":[76],"forward":[78],"backward":[80],"This":[82],"viewpoint":[83],"captures":[84],"interesting":[86],"dynamics":[87],"realisers":[89],"extracted":[90],"by":[91,99],"interpretation,":[94],"illustrate":[97],"this":[98,109,113],"defining":[100],"generalised":[102],"backpropagation":[103],"semantics":[104],"fragment":[107],"language.":[110],"We":[111],"envisage":[112],"work":[114],"providing":[116],"base":[118],"several":[120],"future":[121],"developments,":[122],"both":[123],"theoretical":[124],"practical,":[126],"which":[127],"outline":[129],"at":[130],"end.":[132]},"counts_by_year":[],"updated_date":"2026-04-24T08:23:43.765630","created_date":"2025-01-29T00:00:00"}