{“id”：“https://openalex.org/W3182369688“，”doi“：”https://doi.org/10.109/lics52264.2021.9470747“，”title“：”随机\u03bb-Calculus的通用语义“，”display_name“：”任意\u03bb-Calcuus的通用语义”，“publication_year”：2021，“publitation_date”：“2021-06-29”，“ids”：{“openalex”：“https://openalex.org/W3182369688“，”doi“：”https://doi.org/10.109/lics52264.2021.9470747“，”mag“：”3182369688“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470747“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stosancic_calculus.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5091040232“，”display_name“：”Pedro H.Azevedo de Amorim“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Pedro H.Azevedo de Amorim“，”raw _affiliation_strings“：[“康奈尔大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5053923311“，”display_name“：”Dexter Kozen“，”orcid“：”https://orcid.org/0000-0002-8007-4725}，“机构”：[{“id”：https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Dexter Kozen“，”raw _ afiliation_strings“：[“康奈尔大学”]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5060646027“，”display_name“：”Radu Mardare“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I181647926“，”display_name“：”斯特拉斯克莱德大学“，”ror“：”https://ror.org/00n3w3b69“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I181647926“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Radu Mardare“，”raw _affiliation_strings“：[“斯特拉斯克莱德大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5068822568“，”display_name“：”Prakash Panangaden“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I5023651“，”display_name“：”麦吉尔大学“，”ror“：”https://ror.org/01pxwe438“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I5023651“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Prakash Panangaden“，”raw_affiliation_strings“：[“麦吉尔大学”]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5074110435“，”display_name“：”迈克尔·罗伯茨“，”orcid“：null}，”机构“：[{”id“：”https://openalex.org/I205783295“，”display_name“：”康奈尔大学“，”ror“：”https://ror.org/05bnh6r87“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I205783295“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”迈克尔·罗伯茨“，”raw _ afiliation_strings“：[“康奈尔大学”]}]“countries _ distinct_count”：3，”institutions _ disting_count“：3，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ payed”：null，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count“：1，”cited_by_percentile_year“：{“min”：63，“max”：72}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9997，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9997，”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.9994，“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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9952，”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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.578225}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.519598}，{”id“：”https://openalex.org/keywords/semantic-web“，”display_name“：”Semantic Web“，”score“：0.510862｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.505327}]，”concepts“：[{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746网址“，”display_name“：”表示语义“，”level“：4，”score“：0.7355275}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.6884621}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.63814294}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.63061625}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5924861}，{”id“：”https://openalex.org/C125112378，“wikidata”：https://www.wikidata.org/wiki/Q176640“，”display_name“：”随机性“，”level“：2，”score“：0.5790378}，{”id“：”https://openalex.org/C87365073，“wikidata”：https://www.wikidata.org/wiki/Q7051843“，”display_name“：”评估标准化“，”level“：5，”score“：0.5142738｝，｛”id“：”https://openalex.org/C2777686260，“wikidata”：https://www.wikidata.org/wiki/Q144037“，”display_name“：”微积分（牙科）“，”level“：2，”score“：0.47986215}，{”id“：”https://openalex.org/C61237538，“wikidata”：https://www.wikidata.org/wiki/Q855192“，”display_name“：”简单类型lambda演算“，”level“：4，”score“：0.472591}，{”id“：”https://openalex.org/C135790938，“wikidata”：https://www.wikidata.org/wiki/Q242028“，”display_name“：”Lambda微积分“，”level“：2，”score“：0.4527058}，{”id“：”https://openalex.org/C142156749，“wikidata”：https://www.wikidata.org/wiki/Q2607208“，”display_name“：”类型lambda演算“，”level“：3，”score“：0.40844843}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.37713555｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32628274}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.26591566}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15931126｝，｛”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C199343813，“wikidata”：https://www.wikidata.org/wiki/Q12128“，”display_name“：”牙科“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/lics5226.4021.94700747“，”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://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stosancic_calculus.pdf，“pdf_url”：https://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stosancic_calculus.pdf，“源”：{“id”：https://openalex.org/S4306402226“，”display_name“：”Strathprints:The University of Strathclyde institutional repository（斯特拉斯克莱德大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I181647926“，”“host_organization_name”：“斯特拉斯克莱德大学”，“host_ordanization_lineage”：[“https://openalex.org/I181647926“]，”host_organization_lineage_names“：[”Strathclyde大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stosancic_calculus.pdf，“pdf_url”：https://strathprints.strath.ac.uk/77749/1/Amorim_etal_LICS2021_Universal_semantics_stosancic_calculus.pdf，“源”：{“id”：https://openalex.org/S4306402226“，”display_name“：”Strathprints:The University of Strathclyde institutional repository（斯特拉斯克莱德大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I181647926“，”“host_organization_name”：“斯特拉斯克莱德大学”，“host_ordanization_lineage”：[“https://openalex.org/I181647926“]，”host_organization_lineage_names“：[”Strathclyde大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/10“，”score“：0.52，”display_name“：”减少不平等“}]，”grants“：[{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”“：”国家科学基金会“，”award_id“：null}]，”数据集“：[]，”版本“：[]，”referenced_works_count“：21，”referrenced_works“：[”https://openalex.org/W1483622840","https://openalex.org/W2009311190","https://openalex.org/W2033104047","https://openalex.org/W2050807381","https://openalex.org/W2070015147","https://openalex.org/W2070032247","https://openalex.org/W2102548545","https://openalex.org/W2131435036","https://openalex.org/W2166644419","https://openalex.org/W2206718322","https://openalex.org/W2579454697","https://openalex.org/W2787768706","https://openalex.org/W2949151551","https://openalex.org/W2951670568","https://openalex.org/W2951841654","https://openalex.org/W3124655276","https://openalex.org/W3125832933","https://openalex.org/W3127594476","https://openalex.org/W4210639184","https://openalex.org/W4301509913","https://openalex.org/W586626860“]，”related_works“：[”https://openalex.org/W3182369688","https://openalex.org/W2754782259","https://openalex.org/W2738891033网址","https://openalex.org/W2623591347","https://openalex.org/W2114151019","https://openalex.org/W2110435210","https://openalex.org/W2012710467","https://openalex.org/W1998678709","https://openalex.org/W1993439695","https://openalex.org/W1499324867网址“]，”ngrams_url“：”https://api.openalex.org/works/W3182369688/ngrams网站“，”abstract_inverted_index“：{”We“：[0]，”define“：[1]，”sound“：[2]，”and“：[3,6]，”sufficient“：[4]，”denational“：[5]，”operational“：[7]，”semantics“：[8]，”for“：[9]，”the“：[10]，”randomic“：[11]，”lambda“：[12]，”calculates.“：[13]，”These“：[14]，“two”：[15]，“semantical”：[16]，“approachs”：[17]，“build”：[18]，“on”：[19]，“previous”：[20]，“work”：[21]，“that”：[22]，“used”：[23]，“an“：[24]，”explicit“：[25]，”source“：[26]，”of“：[27]，”randomness“：[28]，”to“：[29]，”reason“：[30]，”about“：[31]，”higher order“：[32]，”programs“概率”：[33]，”程序。“：[34]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3182369688“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-06-03T08:49:31.858016“，”创建日期“：“2021-07-19”}