{"id":"https://openalex.org/W2155968038","doi":"https://doi.org/10.1109/lics.2005.52","title":"The Geometry of Linear Higher-Order Recursion","display_name":"The Geometry of Linear Higher-Order Recursion","publication_year":2006,"publication_date":"2006-10-11","ids":{"openalex":"https://openalex.org/W2155968038","doi":"https://doi.org/10.1109/lics.2005.52","mag":"2155968038"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2005.52","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/cs/0506080v2.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"None Ugo Dal Lago","raw_affiliation_strings":["Dipt. di Sci. dell'Informazione, Bologna Univ., Italy"],"affiliations":[{"raw_affiliation_string":"Dipt. di Sci. dell'Informazione, Bologna Univ., Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084450516"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":1.619,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":26,"citation_normalized_percentile":{"value":0.866024,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9998,"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/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9998,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9979,"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"}},{"id":"https://openalex.org/T10317","display_name":"Data Stream Management Systems and Techniques","score":0.9966,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/normalization","display_name":"Normalization (sociology)","score":0.7865831},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"Programming Language Semantics","score":0.495518}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.8248384},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.7865831},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5284426},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.50590223},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4994185},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4727094},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4698495},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44221234},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43876478},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43640506},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.43548274},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3401713},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3046927},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2930341},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20430684},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11651376},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07838085},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2005.52","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/cs/0506080v2.pdf","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/cs/0506080v2.pdf","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":29,"referenced_works":["https://openalex.org/W10112702","https://openalex.org/W1491343382","https://openalex.org/W1494331750","https://openalex.org/W1498815108","https://openalex.org/W1505951678","https://openalex.org/W1524811322","https://openalex.org/W1535778448","https://openalex.org/W1597593202","https://openalex.org/W1961717322","https://openalex.org/W1969548989","https://openalex.org/W1970954854","https://openalex.org/W1977893559","https://openalex.org/W1991947308","https://openalex.org/W1999297774","https://openalex.org/W2008822134","https://openalex.org/W2011565534","https://openalex.org/W2013519208","https://openalex.org/W2027591072","https://openalex.org/W2039746135","https://openalex.org/W2057183321","https://openalex.org/W2062740098","https://openalex.org/W2063179190","https://openalex.org/W2069792094","https://openalex.org/W2110661450","https://openalex.org/W2129164069","https://openalex.org/W2132265554","https://openalex.org/W2170698790","https://openalex.org/W2568222745","https://openalex.org/W3868543"],"related_works":["https://openalex.org/W4321441197","https://openalex.org/W3202311233","https://openalex.org/W3011538607","https://openalex.org/W2953716828","https://openalex.org/W2944728705","https://openalex.org/W2904857019","https://openalex.org/W2904022177","https://openalex.org/W2591697403","https://openalex.org/W2377519369","https://openalex.org/W1976679120"],"abstract_inverted_index":{"Linearity":[0],"and":[1,69,76,89],"ramification":[2],"constraints":[3,36],"have":[4],"been":[5],"widely":[6],"used":[7],"to":[8,38,72],"weaken":[9],"higher-order":[10,90],"(primitive)":[11],"recursion":[12],"in":[13,85],"such":[14],"a":[15,55,74],"way":[16],"that":[17,32],"the":[18,24,80],"class":[19,25],"of":[20,26,43,83,87],"representable":[21],"functions":[22],"equals":[23],"poly":[27],"time":[28],"functions.":[29],"We":[30],"show":[31],"fine-tuning":[33],"these":[34],"two":[35],"leads":[37],"different":[39],"expressive":[40],"strengths,":[41],"some":[42],"them":[44],"lying":[45],"well":[46],"beyond":[47],"polynomial":[48],"time.":[49],"This":[50],"is":[51],"done":[52],"by":[53],"introducing":[54],"new":[56],"semantics,":[57],"called":[58],"algebraic":[59],"context":[60],"semantics.":[61],"The":[62],"framework":[63],"stems":[64],"from":[65],"Gonthier's":[66],"original":[67],"work":[68],"turns":[70],"out":[71],"be":[73],"versatile":[75],"powerful":[77],"tool":[78],"for":[79],"quantitative":[81],"analysis":[82],"normalization":[84],"presence":[86],"constants":[88],"recursion.":[91]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2155968038","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2024-09-24T17:30:37.227941","created_date":"2016-06-24"}
