{"id":"https://openalex.org/W4406691577","doi":"https://doi.org/10.46298/lmcs-21(1:5)2025","title":"Complete and tractable machine-independent characterizations of second-order polytime","display_name":"Complete and tractable machine-independent characterizations of second-order polytime","publication_year":2025,"publication_date":"2025-01-22","ids":{"openalex":"https://openalex.org/W4406691577","doi":"https://doi.org/10.46298/lmcs-21(1:5)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(1:5)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:5)2025","pdf_url":"https://lmcs.episciences.org/15121/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/15121/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056690985","display_name":"Emmanuel Hainry","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Emmanuel Hainry","raw_affiliation_strings":["MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"affiliations":[{"raw_affiliation_string":"MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080474978","display_name":"Bruce M. Kapron","orcid":"https://orcid.org/0000-0002-3295-543X"},"institutions":[{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Bruce M. Kapron","raw_affiliation_strings":["UVIC - University of Victoria [Canada] (University of Victoria\r\n3800 Finnerty Road\r\nVictoria BC  V8P 5C2\r\nCanada - Canada)"],"affiliations":[{"raw_affiliation_string":"UVIC - University of Victoria [Canada] (University of Victoria\r\n3800 Finnerty Road\r\nVictoria BC  V8P 5C2\r\nCanada - Canada)","institution_ids":["https://openalex.org/I212119943"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106028817","display_name":"Jean-Yves Marion","orcid":"https://orcid.org/0009-0002-8262-3887"},"institutions":[{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Yves Marion","raw_affiliation_strings":["LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","CARBONE - Carbone (France)"],"affiliations":[{"raw_affiliation_string":"LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-l\u00e8s-Nancy Cedex - France)","institution_ids":["https://openalex.org/I4210121838"]},{"raw_affiliation_string":"CARBONE - Carbone (France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051353259","display_name":"Romain P\u00e9choux","orcid":"https://orcid.org/0000-0003-0601-5425"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Romain P\u00e9choux","raw_affiliation_strings":["MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)"],"affiliations":[{"raw_affiliation_string":"MOCQUA - Designing the Future of Computational Models (615 rue du Jardin Botanique 54600 Villers-l\u00e8s-Nancy - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5056690985"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0162365,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 21, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.2759999930858612,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.2759999930858612,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/order","display_name":"Order (exchange)","score":0.6380590200424194},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6054756045341492},{"id":"https://openalex.org/keywords/finance","display_name":"Finance","score":0.0805494487285614},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.07001698017120361}],"concepts":[{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.6380590200424194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6054756045341492},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0805494487285614},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.07001698017120361}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-21(1:5)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:5)2025","pdf_url":"https://lmcs.episciences.org/15121/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-05097335v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05097335","pdf_url":"https://inria.hal.science/hal-05097335/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2025, Volume 21, Issue 1, ⟨10.46298/lmcs-21(1:5)2025⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:62e70121375c468cb1ac66a4a0d28f3b","is_oa":true,"landing_page_url":"https://doaj.org/article/62e70121375c468cb1ac66a4a0d28f3b","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(1:5)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(1:5)2025","pdf_url":"https://lmcs.episciences.org/15121/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1345869732","display_name":null,"funder_award_id":"RGPIN-2021-02481","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G1597412403","display_name":null,"funder_award_id":"RGPIN-","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G6221715925","display_name":null,"funder_award_id":"RGPIN","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8105784103","display_name":null,"funder_award_id":"RGPIN-202","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4406691577.pdf"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W207336988","https://openalex.org/W601307657","https://openalex.org/W1496681274","https://openalex.org/W1508002867","https://openalex.org/W1608883294","https://openalex.org/W1654208522","https://openalex.org/W1668764360","https://openalex.org/W1803315493","https://openalex.org/W1824805445","https://openalex.org/W1969548989","https://openalex.org/W1980256844","https://openalex.org/W1993129359","https://openalex.org/W1996332861","https://openalex.org/W2003160050","https://openalex.org/W2004826968","https://openalex.org/W2031823362","https://openalex.org/W2036258793","https://openalex.org/W2037028865","https://openalex.org/W2069792094","https://openalex.org/W2091581695","https://openalex.org/W2093400121","https://openalex.org/W2096339817","https://openalex.org/W2097944031","https://openalex.org/W2114124105","https://openalex.org/W2149837936","https://openalex.org/W2150174204","https://openalex.org/W2570115677","https://openalex.org/W2606501292","https://openalex.org/W2951036860","https://openalex.org/W3105271923","https://openalex.org/W3129914072","https://openalex.org/W4226074176","https://openalex.org/W4235233694","https://openalex.org/W6903114607"],"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":{"The":[0,45,82],"class":[1,13],"of":[2,11,14,26,34,70,84,93,116,141],"Basic":[3],"Feasible":[4],"Functionals":[5],"BFF":[6,27,67],"is":[7,121],"the":[8,12,51,59,71,91,96,114,117,128],"second-order":[9,72],"counterpart":[10],"first-order":[15],"functions":[16],"computable":[17],"in":[18,90,110,113,123,133],"polynomial":[19,124,134],"time.":[20],"We":[21],"present":[22],"several":[23],"implicit":[24,139],"characterizations":[25],"based":[28],"on":[29],"a":[30,54,62,103,145],"typed":[31],"programming":[32],"language":[33],"terms.":[35],"These":[36],"terms":[37,52],"may":[38],"perform":[39],"calls":[40],"to":[41],"non-recursive":[42],"imperative":[43],"procedures.":[44],"type":[46,65],"discipline":[47,57],"has":[48],"two":[49],"layers:":[50],"follow":[53,61],"standard":[55,63],"simply-typed":[56],"and":[58,79,138],"procedures":[60],"tier-based":[64],"discipline.":[66],"consists":[68],"exactly":[69],"functionals":[73],"that":[74],"are":[75],"computed":[76],"by":[77],"typable":[78],"terminating":[80],"programs.":[81],"completeness":[83],"this":[85],"characterization":[86,140],"surprisingly":[87],"still":[88],"holds":[89],"absence":[92],"lambda-abstraction.":[94],"Moreover,":[95],"termination":[97],"requirement":[98],"can":[99,107],"be":[100,108],"specified":[101],"as":[102],"completeness-preserving":[104],"instance,":[105],"which":[106],"decided":[109],"time":[111],"quadratic":[112],"size":[115],"program.":[118],"As":[119],"typing":[120],"decidable":[122,132],"time,":[125],"we":[126],"obtain":[127],"first":[129],"tractable":[130],"(i.e.,":[131],"time),":[135],"sound,":[136],"complete,":[137],"BFF,":[142],"thus":[143],"solving":[144],"problem":[146],"opened":[147],"for":[148],"more":[149],"than":[150],"20":[151],"years.":[152]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}