{"id":"https://openalex.org/W2911315820","doi":"https://doi.org/10.1017/s0960129508007159","title":"Bunched polymorphism","display_name":"Bunched polymorphism","publication_year":2008,"publication_date":"2008-10-07","ids":{"openalex":"https://openalex.org/W2911315820","doi":"https://doi.org/10.1017/s0960129508007159","mag":"2911315820"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129508007159","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129508007159","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/A5082766959","display_name":"Matthew Collinson","orcid":"https://orcid.org/0000-0002-0496-2990"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]},{"id":"https://openalex.org/I4210139332","display_name":"Bristol Laboratories (United Kingdom)","ror":"https://ror.org/03bm3h723","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210139332"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"MATTHEW COLLINSON","raw_affiliation_strings":["Hewlett-Packard Laboratories, Bristol, BS34 8QZ, United Kingdom Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett-Packard Laboratories, Bristol, BS34 8QZ, United Kingdom Email:","institution_ids":["https://openalex.org/I1324840837","https://openalex.org/I4210139332"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013218535","display_name":"David Pym","orcid":"https://orcid.org/0000-0002-6504-5838"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]},{"id":"https://openalex.org/I4210139332","display_name":"Bristol Laboratories (United Kingdom)","ror":"https://ror.org/03bm3h723","country_code":"GB","type":"company","lineage":["https://openalex.org/I4210139332"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"DAVID PYM","raw_affiliation_strings":["Hewlett-Packard Laboratories, Bristol, BS34 8QZ, United Kingdom Email:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett-Packard Laboratories, Bristol, BS34 8QZ, United Kingdom Email:","institution_ids":["https://openalex.org/I1324840837","https://openalex.org/I4210139332"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022301192","display_name":"E. Powell Robinson","orcid":"https://orcid.org/0000-0002-3075-2217"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"EDMUND ROBINSON","raw_affiliation_strings":["Queen Mary, University of London, E1 4NS, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Queen Mary, University of London, E1 4NS, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.9388,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.92180876,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"6","first_page":"1091","last_page":"1132"},"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.9997000098228455,"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.9997000098228455,"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.9961000084877014,"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.9642999768257141,"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/lambda-calculus","display_name":"Lambda calculus","score":0.7287402153015137},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.7019234299659729},{"id":"https://openalex.org/keywords/simply-typed-lambda-calculus","display_name":"Simply typed lambda calculus","score":0.6160253286361694},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5905317664146423},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.547203004360199},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5269796848297119},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4985635280609131},{"id":"https://openalex.org/keywords/typed-lambda-calculus","display_name":"Typed lambda calculus","score":0.4748533070087433},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3423220217227936},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3322676420211792},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31555306911468506}],"concepts":[{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.7287402153015137},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.7019234299659729},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.6160253286361694},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5905317664146423},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.547203004360199},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5269796848297119},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4985635280609131},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.4748533070087433},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3423220217227936},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3322676420211792},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31555306911468506},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129508007159","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129508007159","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":46,"referenced_works":["https://openalex.org/W8694290","https://openalex.org/W113100845","https://openalex.org/W159715351","https://openalex.org/W1511487092","https://openalex.org/W1520893111","https://openalex.org/W1534018603","https://openalex.org/W1547949352","https://openalex.org/W1557561422","https://openalex.org/W1591716390","https://openalex.org/W1594841668","https://openalex.org/W1595372275","https://openalex.org/W1595465781","https://openalex.org/W1597916519","https://openalex.org/W1854089346","https://openalex.org/W1859542606","https://openalex.org/W1882235344","https://openalex.org/W1964976097","https://openalex.org/W1975082667","https://openalex.org/W2001550314","https://openalex.org/W2008132476","https://openalex.org/W2008350386","https://openalex.org/W2013474929","https://openalex.org/W2032017843","https://openalex.org/W2045564677","https://openalex.org/W2086061699","https://openalex.org/W2090415524","https://openalex.org/W2099684400","https://openalex.org/W2101444617","https://openalex.org/W2104204098","https://openalex.org/W2120713972","https://openalex.org/W2125505801","https://openalex.org/W2129275778","https://openalex.org/W2133908430","https://openalex.org/W2134553977","https://openalex.org/W2137628566","https://openalex.org/W2167808015","https://openalex.org/W2211325406","https://openalex.org/W2911865844","https://openalex.org/W3082353674","https://openalex.org/W4238577588","https://openalex.org/W4256442140","https://openalex.org/W4285719527","https://openalex.org/W6604625373","https://openalex.org/W6631158747","https://openalex.org/W6635579805","https://openalex.org/W6785092790"],"related_works":["https://openalex.org/W3123171335","https://openalex.org/W2153353244","https://openalex.org/W3146610348","https://openalex.org/W21537352","https://openalex.org/W2761902706","https://openalex.org/W2983769583","https://openalex.org/W236003875","https://openalex.org/W2107267313","https://openalex.org/W98279506","https://openalex.org/W2512193846"],"abstract_inverted_index":{"We":[0,76,91],"describe":[1],"a":[2,69,78],"polymorphic,":[3],"typed":[4],"lambda":[5,16],"calculus":[6,11,17,29,63],"with":[7,20,83],"substructural":[8,15,32],"features.":[9],"This":[10,37],"extends":[12],"the":[13,31,41,100],"first-order":[14,84],"\u03b1\u03bb":[18],"associated":[19],"bunched":[21],"logic.":[22],"A":[23],"particular":[24],"novelty":[25],"of":[26,34,43,45,56],"our":[27],"new":[28],"is":[30,38],"treatment":[33],"second-order":[35],"variables.":[36],"accomplished":[39],"through":[40],"use":[42],"bunches":[44],"type":[46],"variables":[47],"in":[48],"typing":[49],"contexts.":[50],"Both":[51],"additive":[52,81,93],"and":[53,68,94],"multiplicative":[54,95],"forms":[55],"polymorphic":[57],"abstraction":[58],"are":[59],"then":[60],"supported.":[61],"The":[62],"has":[64],"sensible":[65],"proof-theoretic":[66],"properties":[67],"straightforward":[70],"categorical":[71],"semantics":[72],"using":[73],"indexed":[74],"categories.":[75],"produce":[77],"model":[79],"for":[80],"polymorphism":[82],"bunching":[85],"based":[86],"on":[87],"partial":[88],"equivalence":[89],"relations.":[90],"consider":[92],"existential":[96],"quantifiers":[97],"separately":[98],"from":[99],"universal":[101],"quantifiers.":[102]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}