{“id”：“https://openalex.org/W3175562771“，”doi“：”https://doi.org/10.109/lics52264.2021.9470726“，”title“：”The Space of Interaction“，”display_name“：”The Space of Interaction“、”publication_year“：2021、”publiciation_date“：”2021-06-29“、”ids“：{”openalex“：”https://openalex.org/W3175562771“，”doi“：”https://doi.org/10.109/lics52264.2021.9470726“，”mag“：”3175562771“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470726“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://inria.hal.science/hal-03346767/document（英文）“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5046873607“，”display_name“：”Beniamino Accattoli“，”orcid“：”https://orcid.org/0000-0003-4944-9944}，“机构”：[{“id”：https://openalex.org/I142476485“，”display_name“：”\u00c9cole Polytechnique“，”ror“：”https://ror.org/05hy3tk52“，”country_code“：”FR“，”type“：”教育“，”血统“：[”https://openalex.org/I142476485","https://openalex.org/I4210145102“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Beniamino Accattoli“，”raw _ afiliation_strings“：[“Inria&\u00c9cole Polytechnology”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5084450516“，”display_name“：”Ugo Dal Lago“，”orcid“：”https://orcid.org/0000-0001-9200-070X}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Ugo Dal Lago“，”raw _affiliation_strings“：[“University\u00e0 di Bologna&Inria”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5041239393“，”display_name“：”Gabriele Vanoni“，”orcid“：”https://orcid.org/0000-0001-8762-8674}，“机构”：[{“id”：https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”https://ror.org/0111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Gabriele Vanoni“，”raw_affiliation_strings“：[“University\u00e0 di Bologna&Inria”]}]“countries_distict_count”：2，”institutions_disticenc_count“：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc_payd”：nul，“has_f”ulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：3，”cited_by_percentile_year“：{”min“：77，”max“：80}，”biblio“：{”volume“：null，”issue“：null，”first_page“：null}，“last_page”：null{，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.998，”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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9977，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/computability网站“，”display_name“：”Computability“，”score“：0.495855}]，”concepts“：[{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.77063876}，{”id“：”https://openalex.org/C2778572836，“wikidata”：https://www.wikidata.org/wiki/Q380933“，”display_name“：”空格（标点符号）“，”level“：2，”score“：0.69822556}，{”id“：”https://openalex.org/C29248071，“wikidata”：https://www.wikidata.org/wiki/Q163310“，”display_name“：”Turing machine“，”level“：3，”score“：0.60802484}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5984426}，{”id“：”https://openalex.org/C278009758，“wikidata”：https://www.wikidata.org/wiki/Q6804172“，”display_name“：”Measure（data warehouse）“，”level“：2，”score“：0.53854907}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.47690725}，{”id“：”https://openalex.org/C113174947，“wikidata”：https://www.wikidata.org/wiki/Q2859736“，”display_name“：”树（集合论）“，”level“：2，”score“：0.44623217}，{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.4167053}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.39513123}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.31534156}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1931844}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.1305804}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.11743632}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470726“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.inia.fr/hal-03346767，“pdf_url”：https://inria.hal.science/hal-03346767/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：”other oa“，”license_id“：”https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/11585/834277，“pdf_url”：https://cris.unibo.it/bitstream/11585/834277/5/main.pdf“，”源“：｛”id“：”https://openalex.org/S4306402579“，”“display_name”：“Archivio istituzionale della ricerca（Alma Matter Studiorum University\u00e0 di Bologna）”，“issn_l”：null，“issn”：nul，“is_oa”：true，“is_ in_doaj”：false，“host_organization”：“https://openalex.org/I4210117483“，”host_organization_name“：”Istituto di Ematologia di Bologna“，”主机组织名称“：[”https://openalex.org/I4210117483“]，”host_organization_lineage_names“：[”Istituto di Ematologia di Bologna“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inria.fr/hal-0334667/文档，“pdf_url”：https://hal.inia.fr/hal-03346767/document“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-03346767/file/1204.13795.pdf，“pdf_url”：https://hal.inia.fr/hal-03346767/file/1204.13795.pdf“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-03346767，“pdf_url”：https://inria.hal.science/hal-03346767/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1524811322","https://openalex.org/W1529521296","https://openalex.org/W172933754","https://openalex.org/W1981303668","https://openalex.org/W2040871029","https://openalex.org/W2081694512","https://openalex.org/W2083251128","https://openalex.org/W2119454081","https://openalex.org/W2132265554","https://openalex.org/W2152839970","https://openalex.org/W2165446401","https://openalex.org/W2186736595","https://openalex.org/W2232523289","https://openalex.org/W2764063203","https://openalex.org/W2779912584","https://openalex.org/W2896999751","https://openalex.org/W2933535240","https://openalex.org/W2964032597","https://openalex.org/W2996703487","https://openalex.org/W3028421255","https://openalex.org/W3031314371","https://openalex.org/W3088756446","https://openalex.org/W3090972609","https://openalex.org/W3114253521","https://openalex.org/W3114930630","https://openalex.org/W4244792815","https://openalex.org/W4249023099“]，”related_works“：[”https://openalex.org/W4375956809","https://openalex.org/W4292672442网址","https://openalex.org/W4255837520","https://openalex.org/W3194471551","https://openalex.org/W2941610985","https://openalex.org/W2791431590","https://openalex.org/W2387011115","https://openalex.org/W2362101859","https://openalex.org/W2348909947","https://openalex.org/W1581373162“]，”ngrams_url“：”https://api.openalex.org/works/W3175562771/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“space”：[1,21,49,65,90123149186]，“complexity”：[2150]，“of”：[3,34,64,92125147172187]，“functional”：[4]，“programs”：[5]，“is”：[6128190]，“not”：[7]，“well”：[8]，“understand”：[9]，“In”：%10]，“special”：[11]，“traditional”：[12]，“implementation”：[13]，“technologies”：[14]，“are”：[15]，“customed”：[16]，“到“：[17,30,59,75105130143182]，”时间“：[18,24]，”效率“：[19]，”和“：[20]，”效能“：[22]，”诱导“：[23]，”低效“：[25]，”as“：[26,48]，”it“：[27]，”preferences“：[28]，”re-computing“：[29]，“saving”。“：[31]，”Girard“：[32]，”几何“：[33]，”交互“：[35,43]，”下划线“：[36]，”an“：[37,71]，”替代“：[38]，”方法“：[39]，”基于“：[40]，”on“：[41,95160]，”the“：[42,52,67,89,93,96122126161169177185188]，”抽象“：[44]，”machine“：[45]，”（IAM），“：[46]，”claimed“：[47]，”“高效”：[50]，“in”：[51]，“文献”。“：[53154]，”It“：[54]，”has“：[55]，”also“：[56156]，”been“：[57102]，”suggested“：[58]，”provide“：60]，”a“：[61,82131144191]，”reasonal“：[62164192]，”concept“：[63]，”for“：[66]，”\u03bb-calculus“：68]，”but“：69]，”some“：[70]，”important“：[22]，”result“：[3]，”seember“：[74]，“成为”：[76180]，“难以捉摸。在“：[77]，“this”：[78]，“paper”：[79]，“we”：[80119166]，“introduce”：[81]，“new”：[03158]，“intersection”：[84140]，“type”：/85]，“system”：+86]，“precise”：[87]，“measuring”：[88]，“consumption”：[C1124]，“IAM”：[94127189]，“temped”：[97]，“term”中。“：[98]，“交集”：[99]，“类型”：[100141]，“有”：[101]，“重复”：[103]，“使用”：[104181]，“度量”：[106]，“时间”，：[107]，“其中”：[108]，“它们”：[109]，“实现”：[110]，“by”：[111]，“droping”：[112]，“幂等性”：[113]，“turning”：[114135]，“交叉”：[115]，“into”：[116137176]，“多集”。“：[117]，”这里“：[118]，”显示“：[120167]，”那“：[121168184]，”连接“：[129]，”进一步“：[132]，”结构“：[133]，”修改“：[134]，”多集“：[136]，”树。“：[138]，“树”：[139]，“引导”：[142]，“更精细”：[145]，“理解”：[146]，“某些”：[148]，“结果”：[151]，“来自”：[152]，“它们”：[155]，“棚”：[157]，“光”：[159]，“推测”：[162]，“关于”：[163]，“空间：”：[165]，“通常”：[170]，“方式”：[171]，“编码”：[173]，“图灵”：[174]，“machines”：[175]，“\u03bb-calculus”：[178]，“cannot”：[179]，“prove”：[183]，“cost”：[193]，“model”。“：[194]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3175562771“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2022，”cited_by_count”：2}]，”updated_date“：”2024-05-18T07:39:20.689788“，”created_date:“2021-07-05”}