{"id":"https://openalex.org/W3159496584","doi":"https://doi.org/10.4230/lipics.fscd.2021.25","title":"Recursion and Sequentiality in Categories of Sheaves","display_name":"Recursion and Sequentiality in Categories of Sheaves","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3159496584","doi":"https://doi.org/10.4230/lipics.fscd.2021.25","mag":"3159496584"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:14263","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"type":"article","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086036411","display_name":"Cristina Matache","orcid":"https://orcid.org/0009-0003-6036-6426"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Matache, Cristina","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033995077","display_name":"Sean Moss","orcid":"https://orcid.org/0009-0005-3930-5340"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Moss, Sean","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068183682","display_name":"Sam Staton","orcid":"https://orcid.org/0000-0002-0141-8922"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Staton, Sam","raw_affiliation_strings":["University of Oxford, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.2603,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63585526,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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":"Logic, programming, and type systems","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9979000091552734,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.989300012588501,"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/recursion","display_name":"Recursion (computer science)","score":0.9348734617233276},{"id":"https://openalex.org/keywords/topos-theory","display_name":"Topos theory","score":0.6411663293838501},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5918315052986145},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5714749097824097},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5286636352539062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46592116355895996},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4599674344062805},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.457284152507782},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.456986665725708},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4355059564113617},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.41751962900161743},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3372127413749695},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33427274227142334},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2599087357521057},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.19926390051841736},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11548945307731628},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08663791418075562},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07539254426956177},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07172879576683044},{"id":"https://openalex.org/keywords/art","display_name":"Art","score":0.06961870193481445}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.9348734617233276},{"id":"https://openalex.org/C182141236","wikidata":"https://www.wikidata.org/wiki/Q2143621","display_name":"Topos theory","level":2,"score":0.6411663293838501},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5918315052986145},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5714749097824097},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5286636352539062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46592116355895996},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4599674344062805},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.457284152507782},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.456986665725708},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4355059564113617},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41751962900161743},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3372127413749695},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33427274227142334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2599087357521057},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.19926390051841736},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11548945307731628},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08663791418075562},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07539254426956177},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07172879576683044},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.06961870193481445},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:14263","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"pmh:oai:arXiv.org:2105.02156","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2105.02156","pdf_url":"https://arxiv.org/pdf/2105.02156","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"doi:10.48550/arxiv.2105.02156","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2105.02156","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.4230/lipics.fscd.2021.25","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2021.25","pdf_url":null,"source":null,"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":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:14263","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.25","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320272","display_name":"University College, Oxford","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320335172","display_name":"Balliol College, University of Oxford","ror":null},{"id":"https://openalex.org/F4320336183","display_name":"Clarendon Fund","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W16477519","https://openalex.org/W1487721031","https://openalex.org/W1532092775","https://openalex.org/W1543173511","https://openalex.org/W1543392755","https://openalex.org/W1589537316","https://openalex.org/W1591846509","https://openalex.org/W1679875858","https://openalex.org/W1971906578","https://openalex.org/W1983244685","https://openalex.org/W1989069191","https://openalex.org/W1990711332","https://openalex.org/W1997143185","https://openalex.org/W2012529993","https://openalex.org/W2035642362","https://openalex.org/W2039112578","https://openalex.org/W2069969963","https://openalex.org/W2078436537","https://openalex.org/W2094537092","https://openalex.org/W2103277171","https://openalex.org/W2107093915","https://openalex.org/W2110624984","https://openalex.org/W2115985977","https://openalex.org/W2142922307","https://openalex.org/W2573614896","https://openalex.org/W2898503052","https://openalex.org/W2952230935","https://openalex.org/W2963905302","https://openalex.org/W3021448353","https://openalex.org/W3029105310","https://openalex.org/W3118180050","https://openalex.org/W3173445346"],"related_works":["https://openalex.org/W3110986101","https://openalex.org/W4246327958","https://openalex.org/W2579704584","https://openalex.org/W4319982912","https://openalex.org/W2803072931","https://openalex.org/W376795554","https://openalex.org/W3004463896","https://openalex.org/W3125091610","https://openalex.org/W2939381812","https://openalex.org/W4388322088"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,7,22,57,62],"fully":[3,30],"abstract":[4,31],"model":[5,25,58],"of":[6,33,64],"call-by-value":[8],"language":[9],"with":[10,44],"higher-order":[11],"functions,":[12],"recursion":[13,51],"and":[14,36,38,40],"natural":[15],"numbers,":[16],"as":[17,52],"an":[18],"exponential":[19],"ideal":[20],"in":[21,56],"topos.":[23],"Our":[24],"is":[26],"inspired":[27],"by":[28,60],"the":[29],"models":[32],"O'Hearn,":[34],"Riecke":[35],"Sandholm,":[37],"Marz":[39],"Streicher.":[41],"In":[42],"contrast":[43],"semantics":[45],"based":[46],"on":[47],"cpo's,":[48],"we":[49],"treat":[50],"just":[53],"one":[54],"feature":[55],"built":[59],"combining":[61],"choice":[63],"modular":[65],"components.":[66]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2021-05-10T00:00:00"}