{"id":"https://openalex.org/W2006005127","doi":"https://doi.org/10.1016/j.tcs.2005.03.011","title":"Compositional characterisations of \u03bb-terms using intersection types","display_name":"Compositional characterisations of \u03bb-terms using intersection types","publication_year":2005,"publication_date":"2005-08-01","ids":{"openalex":"https://openalex.org/W2006005127","doi":"https://doi.org/10.1016/j.tcs.2005.03.011","mag":"2006005127"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2005.03.011","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["1879-2294","0304-3975"],"is_oa":false,"is_in_doaj":false,"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":"publisher-specific-oa","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.1016/j.tcs.2005.03.011","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053585862","display_name":"Mariangiola Dezani\u2010Ciancaglini","orcid":"https://orcid.org/0000-0002-3341-0941"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mariangiola Dezani-Ciancaglini","raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e1 di Torino, Torino, Italy","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e1 di Torino, Torino, Italy"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000680961","display_name":"Furio Honsell","orcid":null},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Furio Honsell","raw_affiliation_string":"Dipartimento di Matematica ed Informatica, Universit\u00e1 di Udine, via delle Scienze 208, 33100 Udine, Italy","raw_affiliation_strings":["Dipartimento di Matematica ed Informatica, Universit\u00e1 di Udine, via delle Scienze 208, 33100 Udine, Italy"]},{"author_position":"last","author":{"id":"https://openalex.org/A5050975718","display_name":"Yoko Motohama","orcid":null},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Y. Motohama","raw_affiliation_string":"Dipartimento di Matematica ed Informatica, Universit\u00e1 di Udine, via delle Scienze 208, 33100 Udine, Italy","raw_affiliation_strings":["Dipartimento di Matematica ed Informatica, Universit\u00e1 di Udine, via delle Scienze 208, 33100 Udine, Italy"]}],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053585862"],"corresponding_institution_ids":["https://openalex.org/I55143463"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690,"provenance":"doaj"},"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":31,"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":"340","issue":"3","first_page":"459","last_page":"495"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9989,"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":"Program Analysis and Verification Techniques","score":0.9989,"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 Programming and Knowledge Representation","score":0.9986,"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/T10215","display_name":"Semantic Web and Ontology Development","score":0.9926,"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":[{"keyword":"intersection types","score":0.5285},{"keyword":"