{“id”：“https://openalex.org/W1806713775“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_22“，”title“：”对称交互组合器的建筑和完整抽象“，”display_name“：”不对称交互组合器建筑和完整提取“，”publication_year“：2007，”publitation_date“：”2007-01-01“，”ids“：{”openalex“：”https://openalex.org/W1806713775“，”doi“：”https://doi.org/10.1007/978-3-540-73228-0_22“，”mag“：”1806713775“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-02-22“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5088134720“，”display_name“：”Damiano Mazza“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210156583“，”display_name“：”巴黎诺德信息实验室“，”ror“：”https://ror.org/05g1zjw44“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Damiano Mazza“，”raw _ afiliation_strings“：[“Laboratoire d\u2019Informationque de Paris Nord，”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[”https://openalex.org/A5088134720“]，”对应的机构ID“：[”https://openalex.org/I4210156583“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：66}、“biblio”：{“volume”：null，“issue”：null，“first_page”：“305”，“last_page”：“320”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9965，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9965，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12536“，”“display_name”：“科学与工程中的拓扑数据分析”，“score”：0.9931，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9912，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/abstract-interplation网站“，”display_name“：”抽象解释“，”score“：0.486428}]，”concepts“：[{”id“：”https://openalex.org/C79678938，“wikidata”：https://www.wikidata.org/wiki/Q1481571“，”display_name“：”组合逻辑“，”level“：2，”score“：0.94027996}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.71981}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.579548}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.5770713}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”级别“：2，”分数“：0.48204574}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.37871218}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.34264973}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28576517}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.2292726}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.16939312}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-73228-0_22“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，”license_id“：null”，“version”：null，“is_accepted”：false，”is_published“：false}“，”best_oa_location“：nul，”sustainable_development_goals“：[{”display_name“：”可持续城市和社区“，”score“：0.76，”id“：”https://metadata.un.org/sdg/11“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W110348647","https://openalex.org/W1603473135","https://openalex.org/W172933754","https://openalex.org/W1968168625","https://openalex.org/W2036605992","https://openalex.org/W2063179190","https://openalex.org/W2072347726","https://openalex.org/W2072956997","https://openalex.org/W2074116409","https://openalex.org/W2093062902","https://openalex.org/W2184268586","https://openalex.org/W2911303149","https://openalex.org/W38224647“]，”related_works“：[”https://openalex.org/W4307413753","https://openalex.org/W2988498873","https://openalex.org/W2313450777","https://openalex.org/W2162268423","https://openalex.org/W2074769340","https://openalex.org/W2026765907","https://openalex.org/W1975604118","https://openalex.org/W1971509082","https://openalex.org/W1528897846","https://openalex.org/W119766800“]，”ngrams_url“：”https://api.openalex.org/works/W1806713775/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“symmetric”：[1]，“interaction”：[2,9]，“combinators”：[3]，“are”：[4,12,60]，“a”：[5,13,22,36,49,87]，“variant”：[6]，“of”：[7,16,27,39,91]，“Lafont\u2019s”：[8]，“compbinators.”：[10]，“They”：[11]，“graph-rewriting”：[14]，“model”：[15]，“parallel”：[17]，“确定性”：[18]，“计算”：[19]，“我们”：[20,44]，“定义”：[21]，“概念“：[23]，“类似”：[24]，“to”：[25,74,82]，“that”：[26,57]，“head”：[28]，“normal”：[29]，“form”：[30]，“in”：[31,77]，“the”：[32,40,66]，“\u03bb-calculus”：[33]，“and”：[34,55,85]，“make”：[35]，“semantical”：[37]，“study”：[38]，“corresponsibrated”：[41]，“观察性”：[42]，“等效。“：[43]，”associate“：[45]，”with“：[46]，”each“：[47]，”net“：[48]，”compact“：50]，”metric“：51]，”space“，：[52]，”called“：55]，”edifice“：[54]，”prove“：[56]，”two“：[58]，”nets“：[59]，”observatively“：[61]，”equivalent“：[62]，”iff“：[63]，”they“：[64]，”have“：65]，”same“：[67]，”建筑物。“：[68]，”Edifices“：[69]，”may“：[70]，”因此“：[71]，”be“：[72]，”compared“：[73]，”B\u00f6hm“：[75]，”trees“：[76]，”infinite“：[78,94]，”\u03b7-normal“：[79]，”form，“：[80]，”or“：[81]，”Nakajima“：[83]，”rees“，”：[84]，”give“：[86]，”precise“：[88]，”topological“：[89]，“账户”：[90]，“现象”：[92]，“类似”：[93]，“\u03b7-expansion。“：[95]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1806713775“，”counts_by_year“：[]，”updated_date“：”2024-05-21T13:18:18.128866“，”创建日期“：”2016-06-24“}