{“id”：“https://openalex.org/W2171781375“，”doi“：”https://doi.org/10.109/lics.1991.151642“，”title“：”Predictive type universes and primitive recursion“，”display_name“：”predictives type universies and primary recursion”，“publication_year”：2002，“publiction_date”：“2002-12-10”，“ids”：{“openalex”：“https://openalex.org/W2171781375“，”doi“：”https://doi.org/10.109/lics.1991.151642“，”mag“：”2171781375“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151642“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5083911166“，”display_name“：”N.P.Mendler“，”orcid“：null｝，”institutions“：[]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”N.P.Mendler“，”raw_affiation_strings“：[”Department of Computer Science，Manchester，UK“]，”附属机构“：[｛”raw_affiation_string“：”Department of Computer Science，Manchester，UK“，”institution_ids“：[]｝]｝]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：0，”corresponding_author_ids“：[”https://openalex.org/A5083911166“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nully，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：16，”citation_normalized_percentile“：{”value“：0.58606，”is_in_top_1_percent“：false，”is_ in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：84，”max“：85}，“biblio”：{“volume”：空，“issue”：空first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9991，“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.9991，“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.9937，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9681，”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.520166}]，”concepts“：[{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.81247914｝，｛”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858网址“，”display_name“：”Type（biology）“，”level“：2，”score“：0.6726198}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.61443174}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36697602}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27412418}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.08175126}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0526793}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics.1991.151642“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：17，”referenced_works“：[”https://openalex.org/W1503362807","https://openalex.org/W1542254428","https://openalex.org/W1581378641","https://openalex.org/W1589408343","https://openalex.org/W1990970057网址","https://openalex.org/W2006941708","https://openalex.org/W2022837260","https://openalex.org/W2121311099","https://openalex.org/W2124798629","https://openalex.org/W2134338128","https://openalex.org/W2151520617","https://openalex.org/W2158473287","https://openalex.org/W2159159702","https://openalex.org/W2164343886","https://openalex.org/W2483659979","https://openalex.org/W2940274360","https://openalex.org/W569543113“]，”related_works“：[”https://openalex.org/W4281614748","https://openalex.org/W32024214","https://openalex.org/W3202311233","https://openalex.org/W2765883196","https://openalex.org/W2748952813","https://openalex.org/W2396919090","https://openalex.org/W2379816237","https://openalex.org/W2377519369","https://openalex.org/W2034826746","https://openalex.org/W1976679120“]，”abstract_inverted_index“：{”A“：[0,27]，”category-theoretic“：[1]，”解释“：[2]，”of“：[3,30,46]，”谓词“：[4]，”类型“：[5101]，”universes“：[6]，”and“：[7,42,97]，”primitive“：[8,47]，”recursion“：[9,48]，”on“：[10,49]，”them“：[11]，“is”：[12,36,40,70,73124]，“给定。”：[13,37,71]，“类别”：[14]，“带”：[15]，“显示”：[16]，“地图”：[17]，“（cdm）”：[18]，“（带有“：[19]，”canonical“：[20]，”pullbacks“）：[21]，”are“：[22,91]，”used“：[23]，”to“：[24,83122]，”model“：[25]，”families。“：[26]，”轻微“：[28]，”泛化“：[29]，”an“：[31,34,68,81,93117]，”代数“：[32]，”调用“：[33]，”I-algebration“：[35]，”基本“：[38]，”定义“：[41]，”the“：[43,55,60]，”general“：[44]，”definition“：[45]，”a“：[50,99119]，”cdm“：[51]，”which“：[52109]，”can“：[53112]，”justify“：[54]，”exclusion“：[56]，”rules“：[57]，”for“：[58]，”all“：[59]，”usually“：[61]，”inductively“：[62]，”defined“：[63]，”datatypes，“：[64]，”including“：[65]，”universes，“：66]，”as“：[67]，”instance“，”：[69]，”It“：[72]，”shown“：[74]，”how“：[75]，”operations“：[76]，”may“：[77]，”be“：[78,84113]，”reflected“：[79]，”allow“：[80]，”I-algebration“：[82]，”close“：[85104]，”under“：[86105]，”类型形成“：[87]，”操作。“：[88]，”宇宙“：[89]，”层次结构“：[9011]，”构建：“：[92]，”外部“：[94]，”构造“：[95]，”一个“：[96]，”然后“：[98]，”大“：[100]，”宇宙“：[102]，”自身“：[103]，”宇宙“：[106110]，”构造“：[107]，”在“：[108]，”内部“：[114]，”构造“。“：[115]，”As“：[116]，”example“：[118]，”hierarchy“：[120]，”up“：[121]，”omega“：[123]，”constructed<":[125],">“：[128]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2171781375“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年”：2020，”cited_by_count”：1}，{”年份“：2012，”citecd_by_count“：2}]，”updated_date“：”2024-09-16T06:19:49.076278“，”created_date:“2016-06-24”}