{"id":"https://openalex.org/W7130598392","doi":"https://doi.org/10.48550/arxiv.2602.16291","title":"A Calculus of Inheritance","display_name":"A Calculus of Inheritance","publication_year":2026,"publication_date":"2026-02-18","ids":{"openalex":"https://openalex.org/W7130598392","doi":"https://doi.org/10.48550/arxiv.2602.16291"},"language":null,"primary_location":{"id":"pmh:doi:10.48550/arxiv.2602.16291","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"Article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5126395314","display_name":"Bo Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yang, Bo","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5126395314"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9560999870300293,"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.9560999870300293,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.01940000057220459,"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/T11424","display_name":"Security and Verification in Computing","score":0.005900000222027302,"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/inheritance","display_name":"Inheritance (genetic algorithm)","score":0.7384999990463257},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6101999878883362},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4975999891757965},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4894999861717224},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.40610000491142273},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.3549000024795532},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.3280999958515167},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.31279999017715454}],"concepts":[{"id":"https://openalex.org/C2780902518","wikidata":"https://www.wikidata.org/wiki/Q6033780","display_name":"Inheritance (genetic algorithm)","level":3,"score":0.7384999990463257},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.659500002861023},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6101999878883362},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5230000019073486},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4975999891757965},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4894999861717224},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4309000074863434},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41179999709129333},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.40610000491142273},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.3549000024795532},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35249999165534973},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.3280999958515167},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.31279999017715454},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.29660001397132874},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.2924000024795532},{"id":"https://openalex.org/C200568363","wikidata":"https://www.wikidata.org/wiki/Q1070739","display_name":"Multiple inheritance","level":3,"score":0.29089999198913574},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.2777999937534332},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.2671999931335449},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.26570001244544983},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.265500009059906},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.2529999911785126},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.48550/arxiv.2602.16291","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"Article"},{"id":"doi:10.48550/arxiv.2602.16291","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2602.16291","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:doi:10.48550/arxiv.2602.16291","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":null,"raw_type":"Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Just":[0],"as":[1,10,23,48,137],"the":[2,11,24,43,61,86,96,120,133,144,162,165,175],"$\u03bb$-calculus":[3,176],"uses":[4,17],"three":[5,18,82],"primitives":[6,19],"(abstraction,":[7],"application,":[8],"variable)":[9],"foundation":[12,25],"of":[13,26,99,102,147,164],"functional":[14],"programming,":[15],"inheritance-calculus":[16,170],"(record,":[20],"definition,":[21],"inheritance)":[22],"declarative":[27],"programming.":[28],"By":[29],"unifying":[30],"modules,":[31],"classes,":[32],"objects,":[33],"methods,":[34],"fields,":[35],"and":[36,57,72,155,181],"locals":[37],"under":[38],"a":[39,100,105,109,128],"single":[40],"record":[41],"abstraction,":[42],"calculus":[44],"models":[45],"inheritance":[46,79],"simply":[47],"set":[49],"union.":[50],"Consequently,":[51],"composition":[52],"is":[53,67,92,124],"inherently":[54],"commutative,":[55],"idempotent,":[56],"associative,":[58],"structurally":[59],"eliminating":[60],"multiple-inheritance":[62],"linearization":[63],"problem.":[64],"Its":[65],"semantics":[66,146],"first-order~\\cite{vanemden1976-predicate-logic-semantics,":[68],"reynolds1972-definitional-interpreters,":[69],"aczel1977-inductive-definitions},":[70],"denotational,":[71],"computable":[73],"by":[74],"tabling~\\cite{tamaki1986-tabled-resolution},":[75],"even":[76],"for":[77,95],"cyclic":[78],"hierarchies.":[80],"These":[81],"properties":[83],"extend":[84],"to":[85,152,159],"$\u03bb$-calculus,":[87],"since":[88],"B\u00f6hm":[89],"tree":[90],"equivalence~\\cite{barendregt1984-lambda-calculus}":[91],"fully":[93],"abstract":[94],"first-iteration":[97],"approximation":[98],"sublanguage":[101],"inheritance-calculus.":[103],"As":[104],"corollary,":[106],"this":[107],"establishes":[108],"convergence":[110],"hierarchy":[111],"$\\text{eager}":[112],"\\subsetneq":[113],"\\text{lazy}$~\\cite{plotkin1975-call-by-name-call-by-value}":[114],"$\\subsetneq":[115],"\\text{fixpoint}$":[116],"among":[117],"$\u03bb$-calculi":[118],"sharing":[119],"same":[121,134],"$\u03bb$-syntax.":[122],"Inheritance-calculus":[123],"distilled":[125],"from":[126],"MIXINv2,":[127],"practical":[129],"implementation":[130],"in":[131,161,177],"which":[132],"code":[135],"acts":[136],"different":[138],"function":[139],"colors~\\cite{nystrom2015-function-color};":[140],"ordinary":[141],"arithmetic":[142],"yields":[143],"relational":[145],"logic":[148],"programming~\\cite{vanemden1976-predicate-logic-semantics};":[149],"$\\mathtt{this}$":[150],"resolves":[151],"multiple":[153],"targets;":[154],"programs":[156],"are":[157],"immune":[158],"nonextensibility":[160],"sense":[163,180],"Expression":[166],"Problem~\\cite{wadler1998-expression-problem}.":[167],"This":[168],"makes":[169],"strictly":[171],"more":[172],"expressive":[173],"than":[174],"both":[178],"common":[179],"Felleisen's":[182],"sense~\\cite{felleisen1991-expressive-power}.":[183]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2026-02-20T00:00:00"}