{“id”：“https://openalex.org/W309908169“，”doi“：”https://doi.org/10.4204/eptcs.317.2“，”title“：”Unifying graded and parameterized monad“，”display_name“：”Unifying graded and Parameterized-monad“，“publication_year”：2020，”publication_date“：”2020-05-01“，”ids“：{”openalex“：”https://openalex.org/W309908169“，”doi“：”https://doi.org/10.4204/eptcs.317.2“，”mag“：”309908169“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/2001.10274，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://arxiv.org/pdf/2001.10274“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5064585229“，”display_name“：”Dominic Orchard“，”orcid“：”https://orcid.org/0000-0002-7058-7842}，“机构”：[{“id”：https://openalex.org/I20581793“，”display_name“：”肯特大学“，”ror“：”https://ror.org/00xkeyj56“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I20581793“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Dominic Orchard“，”raw _ afiliation_strings“：[“肯特大学计算学院”]，”affiliations“：[{”raw_ afiliation _string“：”肯特大学计算机学院“，”institution_ids“：[https://openalex.org/I20581793“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5018878077“，”display_name“：”Philip Wadler“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philip Wadler“，”raw _affiliation_strings“：[“爱丁堡大学信息学院”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院信息学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005740055“，”display_name“：”哈雷伊德斯“，”兽人“：”https://orcid.org/0000-0001-8474-5971}，“机构”：[{“id”：https://openalex.org/I25041050“，”display_name“：”奥古斯塔大学“，”ror“：”https://ror.org/012mef835“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I25041050“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Harley Eades“，”raw _affiliation_strings“：【”Augusta大学计算机科学系“】，”affiliations“：[{”raw _affiliation_string“：”Augu斯塔大学计算机系“，”institution_ids“：[“https://openalex.org/I25041050“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：3，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，”apc_payed“：{”value“：0”，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：10，“cited_by_percentile_year“：{”min“：88，”max“：89}，“biblio”：{“volume”：“317”，“issue”：null，“first_page:”18“，”last_page“：”38“}，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9955，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9867，“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/非单调推理“，”display_name“：”非单调推理“，”score“：0.490899}]，”concepts“：[{”id“：”https://openalex.org/C33959348，“wikidata”：https://www.wikidata.org/wiki/Q1630568“，”display_name“：”Monad（范畴理论）“，”level“：3，”score“：0.91528964}，{”id“：”https://openalex.org/C156772000，“wikidata”：https://www.wikidata.org/wiki/Q864475“，”display_name“：”Functor“，”level“：2，”score“：0.7160906}，{”id“：”https://openalex.org/C137212723，“wikidata”：https://www.wikidata.org/wiki/Q1948412“，”display_name“：”Morphism“，”level“：2，”score“：0.7002782}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.5140258}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.48587102}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.4683494}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.35245252}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/2001.10274，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”版本“：”已发布版本“，”is_accepted“：true，”is_published“：true｝，｛”is_oa“：true，”landing_page_url“：”https://kar.kent.ac.uk/84635/1/2001.10274v2.pdf，“pdf_url”：https://kar.kent.ac.uk/84635/1/2001.10274v2.pdf“，”source“：null，”license“：”cc-by“，”licence_id“：”https://openalex.org/licenses/cc-by“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.2001.10274“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：nul，“pdf_url“：”https://arxiv.org/pdf/2001.10274，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“}，”license“：”cc by nc nd“，”license_id“：”https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W3003163255","https://openalex.org/W309908169“]，”referenced_works_count“：31，”referrenced_works“：[”https://openalex.org/W111511002","https://openalex.org/W158035142","https://openalex.org/W15833160网址","https://openalex.org/W1830196027","https://openalex.org/W1950578019","https://openalex.org/W1974921390","https://openalex.org/W1990409169","https://openalex.org/W1997143185","https://openalex.org/W2005525408","https://openalex.org/W2007738069","https://openalex.org/W2016389769","https://openalex.org/W2022518532","https://openalex.org/W2028012052","https://openalex.org/W2054670810","https://openalex.org/W2118671630","https://openalex.org/W2125206275","https://openalex.org/W2156876717","https://openalex.org/W2166049140","https://openalex.org/W2255874857","https://openalex.org/W2293797630","https://openalex.org/W2339107952","https://openalex.org/W2342139519","https://openalex.org/W2514405772","https://openalex.org/W2515656721","https://openalex.org/W2740956688","https://openalex.org/W2964755768","https://openalex.org/W2965353800","https://openalex.org/W3038013766","https://openalex.org/W3149940773","https://openalex.org/W3155673021","https://openalex.org/W3211574141“]，”related_works“：[”https://openalex.org/W805949593","https://openalex.org/W4387294058","https://openalex.org/W4287907471","https://openalex.org/W3106368401","https://openalex.org/W2997323880","https://openalex.org/W2183400106","https://openalex.org/W2178688232","https://openalex.org/W2118666207","https://openalex.org/W2055085056","https://openalex.org/W115869191“]，”ngrams_url“：”https://api.openalex.org/works/W309908169/ngrams网站“，”abstract_inverted_index“：{”Monads“：[0]，”are“：[1]，”a“：[2,30,43,57,87101106117145166]，”有用“：[3]，”tool“：[4]，”for“：[5]，”structuring“：[6]，”effectful“：[7]，”features“：[8]，”of“：[9,23,34,42,69,68,84103110119127135144154159]，”计算“：[10]，”例如“：[11]，”as“：[12105148150165]，“状态”：[13]，“非决定论”：[14]，“和“：[15,62,70172181]”，续。“：[16]，”In“：[17]，”the“：[18,38,78142157184]，”last“：[19]，”decade“，：[20]，”severive“：[21]，”generalisations“：[22,83]，”monad“：[24,64,85104174]，”have“：[25]，”been“：[26]，“suggested”：[27]，“which”：[28,93]，“provide”：[29]，“more”：[31]，“fine-grained”：[32]，“model”：[33]5,59,72]，“效果”：[35136155]，“by”：[36,56,66,99124]，“替换”：[37]，“单个”：[39]，“类型“：[40]，”构造函数“：[41]，”monad“：[44115]，”with“：[45]，”an“：[46151160]，”indexed“：[47123]，”family“：[48118]，”constructors。“：[50]，”大多数“：[51]，”特别是“：[52]，”分级“：[53171]，”（索引“：[55,65]，”幺半群）“：[58]，”效果“：[60161]，”系统“：[61]，“参数化”：[63173]，”对“：[67]，”前置“：[69]，”后置条件“：[71]，”程序“：[73146]，”逻辑。“：[74]，“This”：[75,90131]，“paper”：[76]，“studies”：[77]，“relationship”：[79]，“between”：[80]，“these”：[81]，“two”：[82]，“via”：[86]，“third”：[88,91]，“generalisation”。“：[89]，”泛化“：[92]，”we“：[94168]，”call“：[95]，”category-graded“：[96114]，”monad“：[97]，”rises“：[98]，”generalising“：[100]，”view“：[102]，”special“：[107]，”special“：%108]，”case“：[109]，”lax“：[111]，”functors“。“：[112]，”A“：[113]，”提供“：[116]，”函子“：[120]，”T“：[121]，”f“：[122126]，”态射“：[125]，”some“：[128]，”other“：[129]，”category。“：[130]，”允许“：[132]，”确定“：[133]，”组成“：[134]，”到“：[137]，”是“：[138176]，”被裁定“：[139]，”出“：[140]，”（in“：[141156]，”风格“：[143158]，”逻辑）“：[147]，”好“：[149]，”抽象“：[152]，”描述“：[153]，”系统）。“：[162]，”使用“：[163]，”这个“：[164]，”基础“：[167]，”显示“：[169]，”如何“：[170]，”可以“：[175]，”统一“：[177]，”学习“：[178]，”他们的“：[179]，”相似“：[180]，”差异“：[182]，”沿途“：[183]，”方式。“：[185]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W309908169”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：1｝，｛“year”：2021，“cited_by_count”：6｝，｛“year”：2020，“cited_by_count”：3｝]，“updated_date”：“2024-06-17T17:45:40.831696”，“created_date”：“2020-11-23”｝