{"id":"https://openalex.org/W2150223832","doi":"https://doi.org/10.1017/s0960129500001481","title":"Building domains from graph models","display_name":"Building domains from graph models","publication_year":1992,"publication_date":"1992-09-01","ids":{"openalex":"https://openalex.org/W2150223832","doi":"https://doi.org/10.1017/s0960129500001481","mag":"2150223832"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500001481","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001481","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/A5066490272","display_name":"Wesley Phoa","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Wesley Phoa","raw_affiliation_strings":["Laboratory for the Foundations of Computer Science, James Clerk Maxwell Building, The kins's Buildings, Edinburgh EH9 3JZ, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for the Foundations of Computer Science, James Clerk Maxwell Building, The kins's Buildings, Edinburgh EH9 3JZ, Scotland","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066490272"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.19892146,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"2","issue":"3","first_page":"277","last_page":"299"},"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.9973999857902527,"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.9973999857902527,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9829000234603882,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.98089998960495,"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/realizability","display_name":"Realizability","score":0.8437502384185791},{"id":"https://openalex.org/keywords/extensionality","display_name":"Extensionality","score":0.6564344167709351},{"id":"https://openalex.org/keywords/domain-theory","display_name":"Domain theory","score":0.6412163972854614},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5710887908935547},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.555952787399292},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5420495271682739},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5363852381706238},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.47048333287239075},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4686887562274933},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.41571053862571716},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.4136390686035156},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4095793664455414},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39970022439956665},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.391276478767395},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3795021176338196},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.3525781035423279},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3325347304344177},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1736753284931183}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.8437502384185791},{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.6564344167709351},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.6412163972854614},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5710887908935547},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.555952787399292},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5420495271682739},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5363852381706238},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.47048333287239075},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4686887562274933},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.41571053862571716},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.4136390686035156},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4095793664455414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39970022439956665},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.391276478767395},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3795021176338196},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3525781035423279},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3325347304344177},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1736753284931183},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129500001481","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001481","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W126568045","https://openalex.org/W2086061699","https://openalex.org/W2093541252","https://openalex.org/W2101444617","https://openalex.org/W2123630974","https://openalex.org/W2129113936","https://openalex.org/W2154273644","https://openalex.org/W2337267853","https://openalex.org/W2561675875","https://openalex.org/W4211265583"],"related_works":["https://openalex.org/W4387963895","https://openalex.org/W2082808755","https://openalex.org/W2084078173","https://openalex.org/W2724860650","https://openalex.org/W3116107092","https://openalex.org/W4287555623","https://openalex.org/W3112595056","https://openalex.org/W2964154025","https://openalex.org/W1636793691","https://openalex.org/W3022345321"],"abstract_inverted_index":{"In":[0,99],"this":[1,79,100],"paper":[2],"we":[3,35,71,131,143],"study":[4],"partial":[5],"equivalence":[6],"relations":[7],"(PERs)":[8],"over":[9],"graph":[10],"models":[11],"of":[12,18,59,83,97,103,139],"the":[13,74,104],"\u03bbcalculus.":[14],"We":[15],"define":[16],"categories":[17,28],"PERs":[19],"that":[20,122],"behave":[21],"like":[22,25],"predomains,":[23],"and":[24,31,40,48,61,106,111],"domains.":[26],"These":[27],"are":[29,52],"small":[30],"complete":[32],";":[33],"so":[34],"can":[36,90,132],"solve":[37],"domain":[38,120],"equations":[39],"construct":[41],"polymorphic":[42],"types":[43],"inside":[44,73],"them.":[45],"Upper,":[46],"lower":[47],"convex":[49],"powerdomain":[50],"constructions":[51],"also":[53],"available,":[54],"as":[55,57,94],"well":[56],"interpretations":[58],"subtyping":[60],"bounded":[62],"quantification.":[63],"Rather":[64],"than":[65],"performing":[66],"explicit":[67],"calculations":[68],"with":[69],"PERs,":[70,89,140],"work":[72],"appropriate":[75],"realizability":[76],"topos":[77],":":[78],"is":[80],"a":[81],"model":[82],"constructive":[84],"set":[85],"theory":[86],"in":[87,118],"which":[88],"be":[91],"regarded":[92],"simply":[93],"special":[95],"kinds":[96],"sets.":[98],"framework,":[101],"most":[102],"definitions":[105],"proofs":[107],"become":[108],"quite":[109,134],"smple":[110],"attractives.":[112],"They":[113],"illustrative":[114],"some":[115],"general":[116],"technicques":[117],"\u2018synthetic":[119],"theory\u2019":[121],"rely":[123],"heavily":[124],"on":[125],"category":[126],"theory;":[127],"using":[128],"these":[129],"methods,":[130],"obtain":[133],"powerful":[135],"results":[136],"about":[137,147],"classes":[138],"even":[141],"when":[142],"know":[144],"very":[145],"little":[146],"their":[148],"internal":[149],"structure.":[150]},"counts_by_year":[{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}