{“id”:“https://openalex.org/W141232972“,”doi“:”https://doi.org/10.1007/978-3-540-73228-0_27“,”title“:”卷积$\\bar\\lambda\\mu$-微积分“,”display_name“:”卷积$\\bar\\lambda\\mu$-微积分“,”publication_year“:2007,”publication_date“:”2007-01-01“,”ids“:{”openalex“:”https://openalex.org/W141232972“,”doi“:”https://doi.org/10.1007/978-3-540-73228-0_27“,”mag“:”141232972“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-73228-02-27“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”“display_name”“:”“计算机科学课堂讲稿”“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false,”is_in_doaj“:false,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”book-chapter“,”type_crossref“:“book-chapter”,”indexed_in“:[“crossref”],“open_access”:{“is_oa”:true,“oa_status”:“green”,“oa_url”:https://hal.science/hal-00387063/document“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5034458000“,”display_name“:”Lionel Vaux“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210138206“,”display_name“:”数学研究所\u00e9matiques de Marseille“,”ror“:”https://ror.org/042h2y225“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724“]}],”countries“:[”FR“],”is_corresponding“:true,”raw_author_name“:”Lionel Vaux“,”raw _affiliation_strings“:【”法国马赛数学研究所\u00e9matiques de Luminy“】,”affiliations“:[{”raw_affiliation_string“:”法国马赛尔数学研究所\ u00e9 Luminy”,“institution_ids”:【”https://openalex.org/I4210138206“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5034458000“],”对应的机构ID“:[”https://openalex.org/I4210138206“],”apc_list“:{”value“:5000,”currency“:”EUR“,”value_usd“:5392,”provenance“:”doaj“},”apc _payed“:null,”fwci“:0.27,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:2,”citected_by_percentile_year“:{”min“:73,”max“:77},“biblio”:{“volume”:null、“issue”:nul,”first_page“:”381“,”last_page“:”395“},”is_retracted“:false,”is_paratext“:false,”主主题“:{”id“:”https://openalex.org/T11010“,”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/T11010“,”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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9993,“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.9971,”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.492526}],”concepts“:[{”id“:”https://openalex.org/C2777686260,“wikidata”:https://www.wikidata.org/wiki/Q144037“,”display_name“:”微积分(牙科)“,”level“:2,”score“:0.55426055},{”id“:”https://openalex.org/C135790938,“wikidata”:https://www.wikidata.org/wiki/Q242028“,”display_name“:”Lambda微积分“,”level“:2,”score“:0.54029787},{”id“:”https://openalex.org/C28077239,“wikidata”:https://www.wikidata.org/wiki/Q841728“,”display_name“:”线性逻辑“,”level“:2,”score“:0.53309506},{”id“:”https://openalex.org/C136119220,“wikidata”:https://www.wikidata.org/wiki/Q1000660“,”“display_name”“:”“域上的代数”“,”level“:2,”score“:0.45917395},{”id“:”https://openalex.org/C2778029271,“wikidata”:https://www.wikidata.org/wiki/Q5421931“,”display_name“:”扩展(谓词逻辑)“,”level“:2,”score“:0.4563066},{”id“:”https://openalex.org/C77736955,“wikidata”:https://www.wikidata.org/wiki/Q1089708“,”display_name“:”Church encoding“,”level“:5,”score“:0.45332402},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”Mathematics“,”level“:0,”score“:0.43562576},{”id“:”https://openalex.org/C45347329,“wikidata”:https://www.wikidata.org/wiki/Q5166604“,”display_name“:”卷积(计算机科学)“,”level“:3,”score“:0.41907346},{”id“:”https://openalex.org/C61237538,“wikidata”:https://www.wikidata.org/wiki/Q855192“,”display_name“:”简单键入lambda演算“,”level“:4,”score“:0.3509204},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.338183},{”id“:”https://openalex.org/C202444582,“wikidata”:https://www.wikidata.org/wiki/Q837863“,”display_name“:”纯数学“,”level“:1,”score“:0.33183554},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.3040429},{”id“:”https://openalex.org/C142156749,“wikidata”:https://www.wikidata.org/wiki/Q2607208“,”display_name“:”类型lambda演算“,”level“:3,”score“:0.28881568},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.18528047},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.06495905},{”id“:”https://openalex.org/C71924100,“wikidata”:https://www.wikidata.org/wiki/Q11190“,”display_name“:”Medicine“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C199343813,“wikidata”:https://www.wikidata.org/wiki/Q12128“,”display_name“:”牙科“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C50644808,“wikidata”:https://www.wikidata.org/wiki/Q192776“,”display_name“:”人工神经网络“,”level“:2,”score“:0.0}],”mesh“:[],”locations_count“:6,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-540-73228-0_27“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S106296714“,”“display_name”“:”“计算机科学课堂讲稿”“,”issn_l“:”0302-9743“,”isn“:[”0302-7743“、”1611-3349“],”is_oa“:false,”is_in_doaj“:false,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer-Science+Business Media“],“type”:“book-series”},“license”:null,“licence_id”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00387063,“pdf_url”:https://hal.science/hal-00387063/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”:false,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00387063“,”pdf_url“:空,”源“:{”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”:nul,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00387063/document,“pdf_url”:https://hal.archives-ouvertes.fr/hal-00387063/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.science/hal-00387063/file/convolution.pdf,“pdf_url”:https://hal.science/hal-00387063/file/convolution.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,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00387063/file/convolution.pdf,“pdf_url”:https://hal.archives-ouvertes.fr/hal-00387063/file/convolution.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,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00387063,“pdf_url”:https://hal.science/hal-00387063/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},”sustainable_development_goals“:[],”grants“:【】,“datasets”:【】https://openalex.org/W1471398886","https://openalex.org/W1496105140","https://openalex.org/W1603473135","https://openalex.org/W2008920425","https://openalex.org/W2031381178","https://openalex.org/W2033920397","https://openalex.org/W2053791527","https://openalex.org/W2088376608","https://openalex.org/W2117099199","https://openalex.org/W2148814023","https://openalex.org/W2911874855“],”related_works“:[”https://openalex.org/W4281982925","https://openalex.org/W2983769583","https://openalex.org/W2761902706","https://openalex.org/W236003875","https://openalex.org/W2114151019","https://openalex.org/W2110435210","https://openalex.org/W2107267313","https://openalex.org/W2089599948","https://openalex.org/W2088376608","https://openalex.org/W1595139175“],”ngrams_url“:”https://api.openalex.org/works/W141232972/ngrams“,”“abstract_inverted_index”:{“We”:[0,58],“define”:[1],“an”:[2],“extension”:[3],“of”:[4,16,18,30,37,44,52,55,76],“Herbelin\u2019s”:[5],“\\(\\bar\\lambda\\mu\\)-微积分,”:[6],“introducing”:[7],“a”:[8,67,71],“product”:[9,29],“operation”:[10],“on”:[11],“上下文”:[12],“(in”:[13],“the”:[14,27,34,50,74],“sense”:[15],“lists”:[17],“arguments”,“:[19],”或“:[20],”堆栈“:[21],”in“:[22,73],”环境“:[23],”机器),“:[24],”类似“:[25],”to“:[26],”卷积“:[28],”分布。“:[31],”This“:[32],”is“:[3],”computative“:[35],”couterpart“:[36],”some“:[38],”new“:[39],”semantical“:[40],”constructions“:[41],”extending“:[42],”models“:[43],”Ehrhard-Regnier\u2019s“:[45],”differential“:%46],”interaction“:[47],”nets,“:[48],“along”:[49],“lines”:[51],“Laurent\u2019s”:[53],“极化”:[54],“线性”:[56],“逻辑。“:[57],“演示”:[59],“此”:[60,64],“对应”:[61],“by”:[62],“提供”:[63],“微积分”:[65],“with”:[66],“指称”:[68],“语义”:[69],“内部”:[70],“lambda-model”:[72],“类别”:[75],“集合”:[77],“和”:[78],“关系”。“:[79]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W141232972“,”counts_by_year“:[{”年“:2015,”cited_by_count“:1}],”更新日期“:”2024-06-20T01:02:07.121328“,”创建日期“:“2016-06-24”}