{"id":"https://openalex.org/W2033920397","doi":"https://doi.org/10.1016/j.entcs.2004.06.060","title":"Differential Interaction Nets","display_name":"Differential Interaction Nets","publication_year":2005,"publication_date":"2005-02-27","ids":{"openalex":"https://openalex.org/W2033920397","doi":"https://doi.org/10.1016/j.entcs.2004.06.060","mag":"2033920397"},"language":"en","primary_location":{"id":"doi:10.1016/j.entcs.2004.06.060","doi":"https://doi.org/10.1016/j.entcs.2004.06.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000460/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000460/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006888140","display_name":"Thomas Ehrhard","orcid":"https://orcid.org/0000-0001-5231-5504","observed_orcids":["https://orcid.org/0000-0001-5231-5504"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\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":"Thomas Ehrhard","raw_affiliation_strings":["Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR 2291, Marseille, France","Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR 2291, Marseille, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR ...#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210138206"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011265941","display_name":"Laurent R\u00e9gnier","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\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":"Laurent Regnier","raw_affiliation_strings":["Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR 2291, Marseille, France","Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR 2291, Marseille, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut de math\u00e9matiques de Luminy, CNRS and Universit\u00e9 de la M\u00e9diterran\u00e9e, UMR 6206, F\u00e9d\u00e9ration de recherche des unit\u00e9s de math\u00e9matiques de Marseille, FR ...#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210138206"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006888140","https://openalex.org/A5011265941"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210138206"],"apc_list":null,"apc_paid":null,"fwci":3.4619,"has_fulltext":true,"cited_by_count":34,"citation_normalized_percentile":{"value":0.91787592,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"123","issue":null,"first_page":"35","last_page":"74"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.007799999788403511,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0013000000035390258,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interaction-nets","display_name":"interaction nets","score":0.9909999966621399},{"id":"https://openalex.org/keywords/linear-logic","display_name":"linear logic","score":0.8209999799728394},{"id":"https://openalex.org/keywords/modality","display_name":"modality","score":0.4480000138282776}],"concepts":[{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.7875124216079712},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.6505724191665649},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.5965708494186401},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5225919485092163},{"id":"https://openalex.org/C56802139","wikidata":"https://www.wikidata.org/wiki/Q149999","display_name":"Differential calculus","level":2,"score":0.5216629505157471},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.49653440713882446},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.44314923882484436},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4387713372707367},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40933310985565186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34294450283050537},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3290172815322876},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13322678208351135},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.10113433003425598},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.entcs.2004.06.060","doi":"https://doi.org/10.1016/j.entcs.2004.06.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000460/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.entcs.2004.06.060","doi":"https://doi.org/10.1016/j.entcs.2004.06.060","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.entcs.2004.06.060","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066105000460/pdf","source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1","poland-40","russia-white-list-3"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2033920397.pdf","grobid_xml":"https://content.openalex.org/works/W2033920397.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W69403480","https://openalex.org/W192070947","https://openalex.org/W1590029082","https://openalex.org/W1603473135","https://openalex.org/W2002689571","https://openalex.org/W2053791527","https://openalex.org/W2079171825","https://openalex.org/W2088376608","https://openalex.org/W2095436832","https://openalex.org/W2129432931","https://openalex.org/W2294530123","https://openalex.org/W2911865844","https://openalex.org/W2911874855","https://openalex.org/W4410799177","https://openalex.org/W6758925133"],"related_works":["https://openalex.org/W2149605502","https://openalex.org/W2152669645","https://openalex.org/W7098912209","https://openalex.org/W1514726679","https://openalex.org/W58532544","https://openalex.org/W7024573974","https://openalex.org/W1891381102","https://openalex.org/W7096516206","https://openalex.org/W3126802572","https://openalex.org/W4287329897"],"abstract_inverted_index":{"We":[0],"introduce":[1],"interaction":[2],"nets":[3],"for":[4],"the":[5,17,21,31,34],"differential":[6],"lambda-calculus":[7],"and":[8,20,36],"exhibit":[9],"in":[10],"this":[11],"framework":[12],"a":[13],"new":[14],"symmetry":[15,32],"between":[16,33],"of":[18,25,39],"course":[19],"why":[22],"not":[23],"modalities":[24],"linear":[26,40],"logic,":[27],"completely":[28],"similar":[29],"to":[30],"tensor":[35],"par":[37],"connectives":[38],"logic.":[41]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}