{“id”：“https://openalex.org/W2116877111“，”doi“：”https://doi.org/10.1051/ita:20009“，”title“：”Feedback，trace and fixed-point semantics“，”display_name“：https://openalex.org/W2116877111“，”doi“：”https://doi.org/10.1051/ita:2002009“，”mag“：”2116877111“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1051/ita:20009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S6941720网址“，”display_name“：”RAIRO。Informatique the \u0301orique et applications“，”issn_l“：”0988-3754“，”isn“：[“0988-375%”，”1290-385X“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319748“，”“host_organization_name”：“EDP Sciences”，“host_ordanization_lineage”：[“https://openalex.org/P4310319748“]，”host_organization_lineage_names“：[”EDP Sciences“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nul，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://www.numdam.org/item/10.1051/ita:2002009.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5078232901“，”display_name“：”Piergiulio Katis“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I115752224“，”display_name“：”胰岛素大学“，”ror“：”https://ror.org/00s409261“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I115752224“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”P.Katis“，”raw _affiliation_strings“：[“科学研究部CC.FF.MM.，University\u00e0 degli Studi dell'Insubria，Como，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5087795537“，”display_name“：”N.Sabadini“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I115752224“，”display_name“：”胰岛素大学“，”ror“：”https://ror.org/00s409261“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I115752224“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Nicoletta Sabadini“，”raw _affiliation_strings“：[“科学研究部CC.FF.MM.，University\u00e0 degli Studi dell'Insubria，Como，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5047454525“，”display_name“：”R.F.C.Walters“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I129604602“，”display_name“：”悉尼大学“，”ror“：”https://ror.org/0384j8v12“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I129604602“]}，{”id“：”https://openalex.org/I115752224“，”display_name“：”Insubria大学“，”ror“：”https://ror.org/00s409261“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I115752224“]}]，”countries“：[”AU“，”IT“]，”is_corresponding“：false，”raw_author_name“：”Robert F.C.Walters“，”raw _affiliation_strings“：【”科学研究院CC.FF.MM.，意大利科摩大学\u00e0 degli Studi dell’Insubria“，“悉尼大学数学与统计学院，2006，澳大利亚新南威尔士州。”]}]“countries_distinct_count”：2，“institutions_distinct_count“：2，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：19，“cited_by_percentile_year”：{“min”：86，“max”：87}，“biblio”：{“volume”：36，“issue”：“2”，“first_page”：“181”，“last_page”：“194”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9979，“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.9979，“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/T10896“，”display_name“：”泊松流形的变形量化“，”score“：0.9974，”subfield“：{”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9808，”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/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.489566}]，”concepts“：[{”id“：”https://openalex.org/C98912367，“wikidata”：https://www.wikidata.org/wiki/Q17103860“，”display_name“：”对称单体范畴“，”level“：3，”score“：0.7721604}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.68562865}，{”id“：”https://openalex.org/C2779904274，“wikidata”：https://www.wikidata.org/wiki/Q1945014“，”display_name“：”Monoid category“，”level“：2，”score“：0.65859634}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6351221}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.62039435}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.6166302}，{”id“：”https://openalex.org/C42747912，“wikidata”：https://www.wikidata.org/wiki/Q1048447“，”display_name“：”乘法函数“，”level“：2，”score“：0.610994}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.6074578}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”定点“，”级别“：2，”分数“：0.5968509｝，｛”id“：”https://openalex.org/C156163052，“wikidata”：https://www.wikidata.org/wiki/Q5379515“，”display_name“：”强化类别“，”level“：3，”score“：0.55008155}，{”id“：”https://openalex.org/C7879355，“wikidata”：https://www.wikidata.org/wiki/Q5135329“，”display_name“：”Closed category“，”level“：3，”score“：0.52777195}，{”id“：”https://openalex.org/C76069219，“wikidata”：https://www.wikidata.org/wiki/Q5758318“，”display_name“：”高级范畴理论“，”level“：4，”score“：0.47121304}，{”id“：”https://openalex.org/C2780378348，“wikidata”：https://www.wikidata.org/wiki/Q25351438“，”display_name“：”Ring（化学）“，”level“：2，”score“：0.459542}，{”id“：”https://openalex.org/C136197465，“wikidata”：https://www.wikidata.org/wiki/Q1729295“，”“display_name”“：”“多样性（控制论）”“，”级别“：2，”分数“：0.41673082}，{”id“：”https://openalex.org/C56208153，“wikidata”：https://www.wikidata.org/wiki/Q5135347“，”“display_name”：“闭单体范畴”，“level”：4，“score”：0.41602814}，{“id”：“https://openalex.org/C28719098，“wikidata”：https://www.wikidata.org/wiki/Q44946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.4122926}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.40918785}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.38550887}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.35891727}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.26270348}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.15235746}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.102197796}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.09611368}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.06300911}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.058606207}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205（网址：https://www.wikidata.org/wiki/Q7205）“，”display_name“：”古生物学“，”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/C178790620，“wikidata”：https://www.wikidata.org/wiki/Q11351“，”display_name“：”有机化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1051/ita:20009“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S6941720网址”，“display_name”：“RAIRO。Informatique the \u0301orique et applications“，”issn_l“：”0988-3754“，”isn“：[“0988-375%”，”1290-385X“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310319748“，”“host_organization_name”：“EDP Sciences”，“host_ordanization_lineage”：[“https://openalex.org/P4310319748“]，”host_organization_lineage_names“：[”EDP Sciences“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://www.numdam.org/articles/10.1051/ita:20009/，“pdf_url”：http://www.numdam.org/item/10.1051/ita:2002009.pdf，“源”：{“id”：https://openalex.org/S4306402264“，”display_name“：”法国数字数学图书馆（Numdam）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I70900168“，”“host_organization_name”：“University\u00e9 Savoie Mont Blanc”，“host_organization_lineage”：[“https://openalex.org/I70900168“]，”host_organization_lineage_names“：[”University\u00e9 Savoie Mont Blanc“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://www.numdam.org/articles/10.1051/ita:20009/，“pdf_url”：http://www.numdam.org/item/10.1051/ita:2002009.pdf，“源”：{“id”：https://openalex.org/S4306402264“，”“display_name”“：”“法国数字数学图书馆（Numdam）”“，”https://openalex.org/I70900168“，”“host_organization_name”：“University\u00e9 Savoie Mont Blanc”，“host_organization_lineage”：[“https://openalex.org/I70900168“]，”host_organization_lineage_names“：[”University\u00e9 Savoie Mont Blanc“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”“versions”：【】、“referenced_works_count”：21，“reference d_works”：【”https://openalex.org/W1573502168“，”https://openalex.org/W1979971526“，”https://openalex.org/W2001209461“，”https://openalex.org/W2005062379“，”https://openalex.org/W20086999979“，”https://openalex.org/W2016554178“，”https://openalex.org/W2022595765“，”https://openalex.org/W2044747903“，”https://openalex.org/W2060903041“，”https://openalex.org/W2079677011“，”https://openalex.org/W2095747698“，”https://openalex.org/W2102357532“，”https://openalex.org/W2156627680“，”https://openalex.org/W2164382356“，”https://openalex.org/W2734361589“，”https://openalex.org/W4206269206“，”https://openalex.org/W4212824019“，”https://openalex.org/W4213350984“，”https://openalex.org/W4236073713“，”https://openalex.org/W4240176614“，”https://openalex.org/W4246659307“]，”related_works“：[”https://openalex.org/W4244360710“，”https://openalex.org/W2798876874“，”https://openalex.org/W2415965387“，”https://openalex.org/W2288880934“，”https://openalex.org/W2156541639“，”https://openalex.org/W2150762370“，”https://openalex.org/W2087192056“，”https://openalex.org/W2086880825“，”https://openalex.org/W1986885420“，”https://openalex.org/W1681143088“]，”ngrams_url“：”https://api.openalex.org/works/W2116877111/ngrams网站“，”“abstract_inverted_index”：{“我们”：[0,61]，“介绍”：[1]，“a”：[2,32,48,57,64,72,77,85,91100]，“概念”：[3,12,86]，“of”：[4,13,23,41,50,67,71,87,90102]，“类别”：[5,28,55,92]，“with”：[6,29,37,74,93]，“feedback-with-delay，”：[7]，“close”：[8]，“related”：[9]，“to”：[10]，76,98]，“the”：[11,20,26,38,51,68]，“traced”：[14]，“monoid”：[15,34,59]，“category”，“：[16]，”和“：[17]，”show“：[18]，”that“：[19]，”Circ“：[21]，”construction“：[22,40]，”[15]“：[24]，”is“：[25,96]，”free“：[27,52]，”feedback“：[30,94]，”on“：[31,56]，”symmetrical“：[33,58]，”category。“：[35,60]，”组合“：[36]，”Int“：[39]，”Joyal“：[42]，”et“：[43]，”al.“：[44]，”[12]“：%45]，”we“：46,83]，”获取“：[47,63]，”描述“：[49]，”紧凑“：[53]，”封闭“：[54]，”因此“：[62]，”范畴“：[65]，”类比“：[66]，”经典“：[69103]，”本地化“：[70]，”环“：[73]，”尊重“：[75]，”乘法“：[78]，”子集。“：[79]，”In“：[80]，”this“：[81]，”context“：[82]，”define“：[84]，”fixed-point“：[88]，”semantics“：+89104]，”which“：[95]，”sien“：[97]，”include“：[99]，”varience“：[101]，”In“：[105]，”computer“：[106]，”science“。“：[107]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2116877111“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：1}，{“年”：2022，”ciped_by_cunt“：1}，”{“年度”：2021，“cited_by_count”：3}，“年份”:2017，”cited_by_count“，”创建日期“：”2016-06-24“}