{"id":"https://openalex.org/W2610742227","doi":"https://doi.org/10.1145/3009837.3009898","title":"Contextual isomorphisms","display_name":"Contextual isomorphisms","publication_year":2016,"publication_date":"2016-12-22","ids":{"openalex":"https://openalex.org/W2610742227","doi":"https://doi.org/10.1145/3009837.3009898","mag":"2610742227"},"language":"en","primary_location":{"id":"doi:10.1145/3009837.3009898","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5053041930","display_name":"Paul Blain Levy","orcid":"https://orcid.org/0000-0003-0864-1876"},"institutions":[{"id":"https://openalex.org/I79619799","display_name":"University of Birmingham","ror":"https://ror.org/03angcq70","country_code":"GB","type":"education","lineage":["https://openalex.org/I79619799"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paul Blain Levy","raw_affiliation_strings":["University of Birmingham, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Birmingham, UK","institution_ids":["https://openalex.org/I79619799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053041930"],"corresponding_institution_ids":["https://openalex.org/I79619799"],"apc_list":null,"apc_paid":null,"fwci":1.1644,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.83124374,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"400","last_page":"414"},"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.9998000264167786,"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.9998000264167786,"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.9933000206947327,"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 Verification","score":0.9366000294685364,"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/isomorphism","display_name":"Isomorphism (crystallography)","score":0.7527517080307007},{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.5706680417060852},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5631349086761475},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.5169400572776794},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5127876400947571},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5032956004142761},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.48180192708969116},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4643078148365021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41226255893707275},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4075622856616974},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3830197751522064},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35594847798347473},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.18829947710037231},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.13434410095214844},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06048530340194702}],"concepts":[{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.7527517080307007},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.5706680417060852},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5631349086761475},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.5169400572776794},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5127876400947571},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5032956004142761},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.48180192708969116},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4643078148365021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41226255893707275},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4075622856616974},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3830197751522064},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35594847798347473},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.18829947710037231},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.13434410095214844},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06048530340194702},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"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":[{"id":"doi:10.1145/3009837.3009898","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3009837.3009898","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/d8d98ea1-192c-427c-8bdb-adf239279469","is_oa":false,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/d8d98ea1-192c-427c-8bdb-adf239279469","pdf_url":null,"source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Levy, P B 2017, Contextual isomorphisms. in G Castagna & A D Gordon (eds), POPL 2017 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages . Association for Computing Machinery , pp. 400-414, the 44th ACM SIGPLAN Symposium, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009898","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G3269130682","display_name":null,"funder_award_id":"EP/N023757/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W129833001","https://openalex.org/W583126019","https://openalex.org/W1512931629","https://openalex.org/W1521014576","https://openalex.org/W1997143185","https://openalex.org/W2009885935","https://openalex.org/W2049362364","https://openalex.org/W2059775725","https://openalex.org/W2092580587","https://openalex.org/W2101416179","https://openalex.org/W2136510622","https://openalex.org/W2141000465","https://openalex.org/W2141568518","https://openalex.org/W2152013675","https://openalex.org/W2156876717","https://openalex.org/W2169022410","https://openalex.org/W2338036611","https://openalex.org/W2561675875","https://openalex.org/W2990518766","https://openalex.org/W4251852318","https://openalex.org/W4251908177","https://openalex.org/W6605225299","https://openalex.org/W6631195765","https://openalex.org/W6687131354"],"related_works":["https://openalex.org/W1258892498","https://openalex.org/W1522618089","https://openalex.org/W2905073546","https://openalex.org/W3080158623","https://openalex.org/W4360838296","https://openalex.org/W2187958446","https://openalex.org/W2389075355","https://openalex.org/W2494517118","https://openalex.org/W1856194915","https://openalex.org/W2153879854"],"abstract_inverted_index":{"What":[0],"is":[1,41],"the":[2,35,55,70],"right":[3],"notion":[4,51,66],"of":[5,20,37,52,57,67,72,85,90],"\"isomorphism\"":[6],"between":[7],"types,":[8],"in":[9,34,54,61,69,76],"a":[10,18,27],"simple":[11],"type":[12],"theory?":[13],"The":[14],"traditional":[15],"answer":[16,40],"is:":[17],"pair":[19],"terms":[21],"that":[22,79],"are":[23],"inverse":[24],"up":[25],"to":[26,46],"specified":[28],"congruence.":[29],"We":[30],"firstly":[31],"argue":[32],"that,":[33],"presence":[36],"effects,":[38],"this":[39],"too":[42],"liberal":[43],"and":[44],"needs":[45],"be":[47],"restricted,":[48],"using":[49,64],"F\u00fchrmann's":[50],"thunkability":[53],"case":[56,71],"value":[58],"types":[59,74],"(as":[60,75],"call-by-value),":[62],"or":[63],"Munch-Maccagnoni's":[65],"linearity":[68],"computation":[73],"call-by-name).":[77],"Yet":[78],"leaves":[80],"us":[81],"with":[82],"different":[83,88],"notions":[84],"isomorphism":[86],"for":[87],"kinds":[89],"type.":[91]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}