{"id":"https://openalex.org/W2025834181","doi":"https://doi.org/10.1145/289423.289434","title":"YALE","display_name":"YALE","publication_year":1998,"publication_date":"1998-09-29","ids":{"openalex":"https://openalex.org/W2025834181","doi":"https://doi.org/10.1145/289423.289434","mag":"2025834181"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/289423.289434","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064069533","display_name":"Ian Mackie","orcid":"https://orcid.org/0000-0001-8954-7173"},"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/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ian Mackie","raw_affiliation_strings":["CNRS (UMR 7650) and \u00c9cole Polytechnique, Laboratoire d'Informatique(LIX), 91128 Palaiseau Cedex, France"],"affiliations":[{"raw_affiliation_string":"CNRS (UMR 7650) and \u00c9cole Polytechnique, Laboratoire d'Informatique(LIX), 91128 Palaiseau Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210139461"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064069533"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210139461"],"apc_list":null,"apc_paid":null,"fwci":2.06,"has_fulltext":false,"cited_by_count":58,"citation_normalized_percentile":{"value":0.898042,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"128"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9666,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9257,"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"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.53948814}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/289423.289434","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":[],"datasets":[],"versions":[],"referenced_works_count":23,"referenced_works":["https://openalex.org/W1524811322","https://openalex.org/W1543641760","https://openalex.org/W1604450157","https://openalex.org/W1737026006","https://openalex.org/W1977898832","https://openalex.org/W1980647766","https://openalex.org/W2007270285","https://openalex.org/W2012968289","https://openalex.org/W2063179190","https://openalex.org/W2083251128","https://openalex.org/W2105475156","https://openalex.org/W2125995300","https://openalex.org/W2141493279","https://openalex.org/W2154273644","https://openalex.org/W2166378226","https://openalex.org/W22089940","https://openalex.org/W2294530123","https://openalex.org/W2911303149","https://openalex.org/W2911865844","https://openalex.org/W3142621357","https://openalex.org/W3145063512","https://openalex.org/W4211036707","https://openalex.org/W4236324644"],"related_works":["https://openalex.org/W4396701345","https://openalex.org/W4396696052","https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2001405890"],"abstract_inverted_index":{"Interaction":[0],"nets":[1],"provide":[2,105],"a":[3,68],"graphical":[4],"paradigm":[5],"of":[6,21,33,50,74,93,101,112],"computation":[7],"based":[8],"on":[9],"net":[10,61,72],"rewriting.":[11],"They":[12],"have":[13,53],"proved":[14],"most":[15],"successful":[16],"in":[17,23,90],"understanding":[18],"the":[19,24,27,31,37,59,75,83,87,91,102,106],"dynamics":[20],"reduction":[22,35,52],"\u03bb-calculus,":[25],"where":[26],"prime":[28],"example":[29],"is":[30,78],"implementation":[32,100],"optimal":[34,51,94],"for":[36,108],"\u03bb-calculus":[38,76,103],"(Lamping's":[39],"algorithm),":[40],"given":[41],"by":[42,86],"Gonthier,":[43],"Abadi":[44],"and":[45],"L\u00e9vy.":[46],"However,":[47],"efficient":[48,70,110],"implementations":[49,92,111],"had":[54],"to":[55],"break":[56],"away":[57],"from":[58],"interaction":[60,71],"paradigm.":[62],"In":[63],"this":[64,99],"paper":[65],"we":[66],"give":[67],"new":[69],"encoding":[73],"which":[77],"not":[79],"optimal,":[80],"but":[81],"overcomes":[82],"inefficiencies":[84],"caused":[85],"bookkeeping":[88],"operations":[89],"reduction.":[95],"We":[96],"believe":[97],"that":[98],"could":[104],"basis":[107],"highly":[109],"functional":[113],"languages.":[114]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2025834181","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-03-18T07:10:21.326595","created_date":"2016-06-24"}