{"id":"https://openalex.org/W1982055197","doi":"https://doi.org/10.1017/s0960129502003821","title":"Reductions, intersection types, and explicit substitutions","display_name":"Reductions, intersection types, and explicit substitutions","publication_year":2003,"publication_date":"2003-02-01","ids":{"openalex":"https://openalex.org/W1982055197","doi":"https://doi.org/10.1017/s0960129502003821","mag":"1982055197"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129502003821","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129502003821","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"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/A5067967117","display_name":"Dan Dougherty","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 DOUGHERTY","raw_affiliation_strings":["Department of Mathematics and Computer Science, Wesleyan University, Middletown, CT 06459 USA","Department of Mathematics and Computer Science, Wesleyan University, Middletown CT 06459, USA#TAB#"],"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"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Wesleyan University, Middletown CT 06459, USA#TAB#","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/I113428412","display_name":"\u00c9cole Normale Sup\u00e9rieure de Lyon","ror":"https://ror.org/04zmssz18","country_code":"FR","type":"education","lineage":["https://openalex.org/I113428412","https://openalex.org/I203339264"]},{"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'Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364 Lyon 07, France","Laboratoire de l'Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364 Lyon 07, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364 Lyon 07, France","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]},{"raw_affiliation_string":"Laboratoire de l'Informatique du Parall\u00e9lisme, \u00c9cole Normale Sup\u00e9rieure de Lyon, 46, All\u00e9e d'Italie, 69364 Lyon 07, France#TAB#","institution_ids":["https://openalex.org/I4210144566","https://openalex.org/I113428412"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.813,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.91026184,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"13","issue":"1","first_page":"55","last_page":"85"},"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.9995999932289124,"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.9995999932289124,"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.9729999899864197,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9437000155448914,"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/mathematical-proof","display_name":"Mathematical proof","score":0.7014545202255249},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.7012587189674377},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6530933976173401},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5894590616226196},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5884247422218323},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5656757950782776},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.5491653680801392},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.47722771763801575},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3907661736011505},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38835954666137695},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.31577080488204956},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.29733043909072876},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22699108719825745}],"concepts":[{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7014545202255249},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.7012587189674377},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6530933976173401},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5894590616226196},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5884247422218323},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5656757950782776},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.5491653680801392},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.47722771763801575},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3907661736011505},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38835954666137695},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.31577080488204956},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.29733043909072876},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22699108719825745},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129502003821","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129502003821","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.27.2226","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.27.2226","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ddougherty.web.wesleyan.edu/my_papers/intersection_es_tlca01.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.581.1717","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.581.1717","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://perso.ens-lyon.fr/pierre.lescanne/PUBLICATIONS/intersection.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W9614445","https://openalex.org/W65564231","https://openalex.org/W126630044","https://openalex.org/W1487251594","https://openalex.org/W1488897269","https://openalex.org/W1503302308","https://openalex.org/W1534459283","https://openalex.org/W1547926009","https://openalex.org/W1578914958","https://openalex.org/W1968391490","https://openalex.org/W1975280443","https://openalex.org/W1976958863","https://openalex.org/W1981303668","https://openalex.org/W1992452788","https://openalex.org/W2002288870","https://openalex.org/W2014030742","https://openalex.org/W2017143801","https://openalex.org/W2045801884","https://openalex.org/W2062658741","https://openalex.org/W2071267598","https://openalex.org/W2083014191","https://openalex.org/W2118420900","https://openalex.org/W2122197073","https://openalex.org/W2130554190","https://openalex.org/W2149837936","https://openalex.org/W2151872924","https://openalex.org/W2154286778","https://openalex.org/W2211325406","https://openalex.org/W2769900404"],"related_works":["https://openalex.org/W2387449261","https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W2418518962","https://openalex.org/W2775700832","https://openalex.org/W4297794244","https://openalex.org/W4286698828","https://openalex.org/W1994175791","https://openalex.org/W2049783774","https://openalex.org/W2624451057"],"abstract_inverted_index":{"This":[0],"paper":[1],"is":[2,90,172],"part":[3],"of":[4,8,19,21,33,114,152,177],"a":[5,30,80,107],"general":[6],"programme":[7],"treating":[9],"explicit":[10,34,43,155,178],"substitutions":[11,35],"as":[12,23,25,75],"the":[13,17,47,56,64,76,94,110,139,150,175],"primary":[14],"\u03bb-calculi":[15],"from":[16,93,165],"point":[18],"view":[20,171],"foundations":[22],"well":[24],"applications.":[26],"We":[27,53],"work":[28],"in":[29,79,149,169],"composition-free":[31],"calculus":[32,39,176],"and":[36,45,51,63,87,116,121,137],"an":[37],"augmented":[38],"obtained":[40],"by":[41,60,68],"adding":[42],"garbage-collection,":[44],"explore":[46],"relationship":[48,84],"between":[49,85],"intersection-types":[50],"reduction.":[52],"show":[54,98],"that":[55,58,66,99],"terms":[57,65,77,101],"normalise":[59,67],"leftmost":[61,115],"reduction":[62,70,118],"head":[69,117],"can":[71],"each":[72],"be":[73],"characterised":[74],"typable":[78,100],"certain":[81],"system.":[82],"The":[83,143],"typability":[86],"strong":[88],"normalisation":[89,123,141],"subtly":[91],"different":[92],"classical":[95,140,166],"case:":[96],"we":[97,135],"are":[102,119],"strongly":[103],"normalising":[104],"but":[105],"give":[106],"counterexample":[108],"to":[109,126,174],"converse.":[111],"Our":[112],"notions":[113],"non-deterministic,":[120],"our":[122,158,170],"theorems":[124],"apply":[125],"any":[127],"computations":[128],"obeying":[129],"these":[130],"strategies.":[131],"In":[132],"this":[133],"way":[134],"refine":[136],"strengthen":[138],"theorems.":[142],"proofs":[144,159],"require":[145],"some":[146],"new":[147],"techniques":[148],"presence":[151],"reductions":[153],"involving":[154],"substitutions.":[156],"Indeed,":[157],"do":[160],"not":[161],"rely":[162],"on":[163],"results":[164],"\u03bb-calculus,":[167],"which":[168],"subordinate":[173],"substitution.":[179]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}