{"id":"https://openalex.org/W1550777778","doi":"https://doi.org/10.1007/3-540-45413-6_13","title":"Reductions, intersection types, and explicit substitutions","display_name":"Reductions, intersection types, and explicit substitutions","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W1550777778","doi":"https://doi.org/10.1007/3-540-45413-6_13","mag":"1550777778"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45413-6_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45413-6_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5097662119","display_name":"Dan Doughertyy","orcid":null},"institutions":[{"id":"https://openalex.org/I100538780","display_name":"Wesleyan University","ror":"https://ror.org/05h7xva58","country_code":"US","type":"education","lineage":["https://openalex.org/I100538780"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Doughertyy","raw_affiliation_strings":["Department of Mathematics and Computer Science, Wesleyan University, Middletown, CT, 06459, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Wesleyan University, Middletown, CT, 06459, USA","institution_ids":["https://openalex.org/I100538780"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042417161","display_name":"Pierre Lescanne","orcid":"https://orcid.org/0000-0001-9512-5276"},"institutions":[{"id":"https://openalex.org/I4210144566","display_name":"Laboratoire de l'Informatique du Parall\u00e9lisme","ror":"https://ror.org/04msnz457","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210144566"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Lescanne","raw_affiliation_strings":["Laboratoire de l\u2019Informatique du Parall\u00e9lisme, \u00e9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d\u2019Italie, 69364, Lyon 07, France","Laboratoire de l'Informatique du Parall\u00e9lisme, \u00e9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364, Lyon 07, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de l\u2019Informatique du Parall\u00e9lisme, \u00e9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d\u2019Italie, 69364, Lyon 07, France","institution_ids":["https://openalex.org/I4210144566"]},{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, \u00e9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364, Lyon 07, France","institution_ids":["https://openalex.org/I4210144566"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.1697,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78551703,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"121","last_page":"135"},"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.9998999834060669,"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.9998999834060669,"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.9973000288009644,"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.9958000183105469,"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":[{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.8430471420288086},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8157645463943481},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7803404927253723},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6895853281021118},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6592459678649902},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5850029587745667},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5447330474853516},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4793996810913086},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.47820186614990234},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4707622826099396},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3813190162181854}],"concepts":[{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.8430471420288086},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8157645463943481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7803404927253723},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6895853281021118},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6592459678649902},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5850029587745667},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5447330474853516},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4793996810913086},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.47820186614990234},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4707622826099396},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3813190162181854},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-45413-6_13","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45413-6_13","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W65564231","https://openalex.org/W1487251594","https://openalex.org/W1488897269","https://openalex.org/W1503302308","https://openalex.org/W1534459283","https://openalex.org/W1567833349","https://openalex.org/W1578914958","https://openalex.org/W1992452788","https://openalex.org/W2044758536","https://openalex.org/W2067024462","https://openalex.org/W2071267598","https://openalex.org/W2083014191","https://openalex.org/W2084788336","https://openalex.org/W2122197073","https://openalex.org/W2151872924","https://openalex.org/W2154273644","https://openalex.org/W2769900404","https://openalex.org/W4210285581","https://openalex.org/W4236324644","https://openalex.org/W4285719527","https://openalex.org/W6600386668","https://openalex.org/W7020193950"],"related_works":["https://openalex.org/W2379444625","https://openalex.org/W2393147081","https://openalex.org/W2575869988","https://openalex.org/W4308647020","https://openalex.org/W3096456556","https://openalex.org/W4240253816","https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2370088286","https://openalex.org/W2385568494"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}