{"id":"https://openalex.org/W3016444786","doi":"https://doi.org/10.1007/978-3-030-45231-5_15","title":"Relative Full Completeness for Bicategorical Cartesian Closed Structure","display_name":"Relative Full Completeness for Bicategorical Cartesian Closed Structure","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3016444786","doi":"https://doi.org/10.1007/978-3-030-45231-5_15","mag":"3016444786"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-45231-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-45231-5_15","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-45231-5_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-45231-5_15.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080675787","display_name":"Marcelo Fiore","orcid":"https://orcid.org/0000-0001-8558-3492"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marcelo Fiore","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, Cambridge, UK"],"raw_orcid":"https://orcid.org/0000-0001-8558-3492","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038782398","display_name":"Philip Saville","orcid":"https://orcid.org/0000-0002-8320-0280"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Philip Saville","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Cambridge, UK"],"raw_orcid":"https://orcid.org/0000-0002-8320-0280","affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Cambridge, UK","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5038782398"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.1152,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.32213439,"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":"277","last_page":"298"},"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.9993000030517578,"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.9993000030517578,"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.9940999746322632,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9333000183105469,"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/rewriting","display_name":"Rewriting","score":0.8281480073928833},{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.719596266746521},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6671379208564758},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.6046259999275208},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5483574867248535},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.49709346890449524},{"id":"https://openalex.org/keywords/cartesian-coordinate-system","display_name":"Cartesian coordinate system","score":0.4849379360675812},{"id":"https://openalex.org/keywords/conservative-extension","display_name":"Conservative extension","score":0.476096510887146},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4683759808540344},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.44844019412994385},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.364909291267395},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34914541244506836},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32173609733581543},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.28959810733795166},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2626489996910095},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.0946553647518158}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8281480073928833},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.719596266746521},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6671379208564758},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.6046259999275208},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5483574867248535},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.49709346890449524},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.4849379360675812},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.476096510887146},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4683759808540344},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.44844019412994385},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.364909291267395},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34914541244506836},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32173609733581543},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.28959810733795166},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2626489996910095},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0946553647518158},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-45231-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-45231-5_15","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-45231-5_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:europepmc.org:6700097","is_oa":true,"landing_page_url":"http://europepmc.org/pmc/articles/PMC7788604","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:7788604","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7788604","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"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":"Foundations of Software Science and Computation Structures","raw_type":"Text"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/edbc593b-e366-425d-85c9-b1ac5950b51a","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/edbc593b-e366-425d-85c9-b1ac5950b51a","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"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":"Saville, P & Fiore, M 2020, Relative full completeness for bicategorical cartesian closed structure. in Foundations of Software Science and Computation Structures : International Conference on Foundations of Software Science and Computation Structures FoSSaCS 2020. Lecture Notes in Computer Science, vol. 12077, 23rd International Conference on Foundations of Software Science and Computation Structures, Dublin, Ireland, 25/04/20. https://doi.org/10.1007/978-3-030-45231-5_15","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/edbc593b-e366-425d-85c9-b1ac5950b51a","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/relative-full-completeness-for-bicategorical-cartesian-closed-structure(edbc593b-e366-425d-85c9-b1ac5950b51a).html","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.1007/978-3-030-45231-5_15","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-45231-5_15","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-45231-5_15.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3016444786.pdf","grobid_xml":"https://content.openalex.org/works/W3016444786.grobid-xml"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W79336753","https://openalex.org/W115669730","https://openalex.org/W158035142","https://openalex.org/W171141860","https://openalex.org/W223002628","https://openalex.org/W823132808","https://openalex.org/W1487721031","https://openalex.org/W1493462473","https://openalex.org/W1520174560","https://openalex.org/W1543071126","https://openalex.org/W1555249251","https://openalex.org/W1555673433","https://openalex.org/W1566009901","https://openalex.org/W1591846509","https://openalex.org/W1649578155","https://openalex.org/W1677393765","https://openalex.org/W1908473049","https://openalex.org/W1965297988","https://openalex.org/W1988292549","https://openalex.org/W1990916178","https://openalex.org/W2000806582","https://openalex.org/W2001462012","https://openalex.org/W2034606068","https://openalex.org/W2049362364","https://openalex.org/W2056024754","https://openalex.org/W2079833819","https://openalex.org/W2088639858","https://openalex.org/W2093735953","https://openalex.org/W2094580575","https://openalex.org/W2094685149","https://openalex.org/W2096584490","https://openalex.org/W2126306617","https://openalex.org/W2129064963","https://openalex.org/W2134485769","https://openalex.org/W2136376264","https://openalex.org/W2137018233","https://openalex.org/W2140892577","https://openalex.org/W2143997926","https://openalex.org/W2157488580","https://openalex.org/W2344528088","https://openalex.org/W2503188811","https://openalex.org/W2563003594","https://openalex.org/W2567087906","https://openalex.org/W2615580850","https://openalex.org/W2734361589","https://openalex.org/W2939157834","https://openalex.org/W2952879408","https://openalex.org/W2965051683","https://openalex.org/W2965374511","https://openalex.org/W3029012198","https://openalex.org/W3037832547","https://openalex.org/W3039816335","https://openalex.org/W3080239152","https://openalex.org/W3099664084","https://openalex.org/W3102303293","https://openalex.org/W3104865824","https://openalex.org/W3106517222","https://openalex.org/W4210699837","https://openalex.org/W4210839962","https://openalex.org/W4211080362","https://openalex.org/W4233993919","https://openalex.org/W4247343810","https://openalex.org/W4249736722","https://openalex.org/W4250557834","https://openalex.org/W4253685039","https://openalex.org/W6609846211"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W4206221271","https://openalex.org/W1515515243","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W1504820687","https://openalex.org/W2475418661","https://openalex.org/W2491573813","https://openalex.org/W1569493237"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"glueing":[2,53,70],"construction,":[3],"defined":[4],"as":[5,43],"a":[6,57,69,105],"certain":[7],"comma":[8],"category,":[9],"is":[10,104],"an":[11,73],"important":[12],"tool":[13],"for":[14,47],"reasoning":[15],"about":[16],"type":[17],"theories,":[18],"logics,":[19],"and":[20,37,55],"programming":[21],"languages.":[22],"Here":[23],"we":[24,50,75],"extend":[25],"the":[26,44,52,61,93,100,109,116],"construction":[27,63],"to":[28,85],"accommodate":[29],"\u20182-dimensional":[30],"theories\u2019":[31],"of":[32,60,64,97,108,113],"types,":[33,36],"terms":[34],"between":[35,39],"rewrites":[38],"terms.":[40],"Taking":[41],"bicategories":[42,80],"semantic":[45],"framework":[46],"such":[48],"systems,":[49],"define":[51],"bicategory":[54],"establish":[56],"bicategorical":[58],"version":[59],"well-known":[62],"cartesian":[65,87],"closed":[66,88],"structure":[67],"on":[68],"category.":[71],"As":[72],"application,":[74],"show":[76],"that":[77,92],"free":[78,86],"finite-product":[79],"are":[81],"fully":[82],"complete":[83],"relative":[84],"bicategories,":[89],"thereby":[90],"establishing":[91],"higher-order":[94],"equational":[95,111],"theory":[96,112],"rewriting":[98,114],"in":[99,115],"simply-typed":[101],"lambda":[102],"calculus":[103],"conservative":[106],"extension":[107],"algebraic":[110],"fragment":[117],"with":[118],"finite":[119],"products":[120],"only.":[121]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}