{"id":"https://openalex.org/W1983722383","doi":"https://doi.org/10.1017/s0960129500001225","title":"Order-enrichment for categories of partial maps","display_name":"Order-enrichment for categories of partial maps","publication_year":1995,"publication_date":"1995-12-01","ids":{"openalex":"https://openalex.org/W1983722383","doi":"https://doi.org/10.1017/s0960129500001225","mag":"1983722383"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500001225","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001225","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"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/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":"Marcelo P. Fiore","raw_affiliation_strings":["Department of Computer Science, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland. Email","Department of Computer Science, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland. Email mf@dcs.ed.ac.uk"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland. Email","institution_ids":["https://openalex.org/I98677209"]},{"raw_affiliation_string":"Department of Computer Science, Laboratory for Foundations of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh EH9 3JZ, Scotland. Email mf@dcs.ed.ac.uk","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5080675787"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":1.1761,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.8165257,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"5","issue":"4","first_page":"533","last_page":"562"},"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.9995999932289124,"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.9995999932289124,"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.9934999942779541,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9581999778747559,"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/axiom","display_name":"Axiom","score":0.6233649849891663},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5526806712150574},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5485202074050903},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.542271077632904},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5413316488265991},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5388884544372559},{"id":"https://openalex.org/keywords/partial-derivative","display_name":"Partial derivative","score":0.46925804018974304},{"id":"https://openalex.org/keywords/approximations-of-\u03c0","display_name":"Approximations of \u03c0","score":0.46221062541007996},{"id":"https://openalex.org/keywords/approximation-algorithm","display_name":"Approximation algorithm","score":0.44116392731666565},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.42796745896339417},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29585278034210205},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.2473878562450409},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22203326225280762},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11090308427810669},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06998428702354431}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6233649849891663},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5526806712150574},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5485202074050903},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.542271077632904},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5413316488265991},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5388884544372559},{"id":"https://openalex.org/C53846429","wikidata":"https://www.wikidata.org/wiki/Q186475","display_name":"Partial derivative","level":2,"score":0.46925804018974304},{"id":"https://openalex.org/C193386753","wikidata":"https://www.wikidata.org/wiki/Q1130396","display_name":"Approximations of \u03c0","level":2,"score":0.46221062541007996},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.44116392731666565},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42796745896339417},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29585278034210205},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2473878562450409},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22203326225280762},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11090308427810669},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06998428702354431},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129500001225","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001225","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.17.2002","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.2002","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cogs.susx.ac.uk/users/marcelo/papers/ADT/cpo-pk.ps","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W100575602","https://openalex.org/W171834292","https://openalex.org/W1507692549","https://openalex.org/W1566009901","https://openalex.org/W1988612426","https://openalex.org/W2005230371","https://openalex.org/W4388310174"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W2081441417","https://openalex.org/W4240676090","https://openalex.org/W1970375080","https://openalex.org/W4386544785","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W1522717445","https://openalex.org/W2116374711","https://openalex.org/W1974016467"],"abstract_inverted_index":{"Motivated":[0],"by":[1],"a":[2,50,63,78],"desire":[3],"to":[4,39],"treat":[5],"non-termination":[6],"directly":[7],"in":[8,21],"the":[9,13,22,44,91,94,103],"semantics":[10],"of":[11,15,24,26,80,96],"computation,":[12],"notion":[14],"approximation":[16,32,45,58,66,83,104],"between":[17,46,85,106],"programs":[18],"is":[19,71,77,88,109],"studied":[20],"context":[23],"categories":[25],"partial":[27,69,86,97],"maps.":[28],"In":[29],"particular,":[30],"contextual":[31],"and":[33,37],"specialisation":[34],"are":[35],"considered":[36],"shown":[38],"coincide.":[40],"Moreover,":[41],"after":[42],"exhibiting":[43],"total":[47,61,107],"maps":[48,62,70,87,98,108],"as":[49],"primitive":[51],"notion,":[52],"from":[53],"an":[54],"arbitrary":[55],"(or":[56],"axiomatic)":[57],"order":[59,67,84,105],"on":[60,68],"computationally":[64],"natural":[65],"derived.":[72],"The":[73],"main":[74],"technical":[75],"contribution":[76],"characterisation":[79],"when":[81],"this":[82],"domain-theoretic":[89],"(in":[90],"sense":[92],"that":[93,102],"category":[95],"Cpo":[99],"-enriches)":[100],"provided":[101],"also.":[110]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}