{"id":"https://openalex.org/W2080419437","doi":"https://doi.org/10.4204/eptcs.177.3","title":"Liquid Intersection Types","display_name":"Liquid Intersection Types","publication_year":2015,"publication_date":"2015-03-15","ids":{"openalex":"https://openalex.org/W2080419437","doi":"https://doi.org/10.4204/eptcs.177.3","mag":"2080419437"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.177.3","doi":"https://doi.org/10.4204/eptcs.177.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.3","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.177.3","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071076709","display_name":"M\u00e1rio Pereira","orcid":"https://orcid.org/0000-0003-4234-5376","observed_orcids":["https://orcid.org/0000-0003-4234-5376","https://orcid.org/0000-0002-7048-9425"]},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"M\u00e1rio Pereira","raw_affiliation_strings":["University of Porto, Department of Computer Science & LIACC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Porto, Department of Computer Science & LIACC","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081807548","display_name":"Sandra Alves","orcid":"https://orcid.org/0000-0001-8840-5587","observed_orcids":["https://orcid.org/0000-0001-8840-5587"]},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Sandra Alves","raw_affiliation_strings":["University of Porto, Department of Computer Science & LIACC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Porto, Department of Computer Science & LIACC","institution_ids":["https://openalex.org/I182534213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009045296","display_name":"M\u00e1rio Florido","orcid":"https://orcid.org/0000-0002-0574-7555","observed_orcids":["https://orcid.org/0000-0002-0574-7555"]},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"M\u00e1rio Florido","raw_affiliation_strings":["University of Porto, Department of Computer Science & LIACC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Porto, Department of Computer Science & LIACC","institution_ids":["https://openalex.org/I182534213"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I182534213"],"apc_list":null,"apc_paid":null,"fwci":0.6818,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.74484309,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"177","issue":null,"first_page":"24","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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":1.0,"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/T10142","display_name":"Formal Methods in Verification","score":0.0,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0,"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/intersection-types","display_name":"intersection types","score":0.7860000133514404},{"id":"https://openalex.org/keywords/refinement-types","display_name":"refinement types","score":0.9520000219345093},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.8960000276565552},{"id":"https://openalex.org/keywords/subject-reduction","display_name":"subject reduction","score":0.7590000033378601},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.7429999709129333},{"id":"https://openalex.org/keywords/soundness","display_name":"soundness","score":0.6679999828338623},{"id":"https://openalex.org/keywords/type-inference-algorithm","display_name":"type inference algorithm","score":0.4860000014305115},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"lambda calculus","score":0.36500000953674316}],"concepts":[{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.8949457406997681},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.6456941366195679},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5814662575721741},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.46891531348228455},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4573686718940735},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.43417006731033325},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3830844759941101},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3793177604675293},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2911390960216522},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26478198170661926},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.07452383637428284},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.06226596236228943},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.05355212092399597},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.04444301128387451},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.4204/eptcs.177.3","doi":"https://doi.org/10.4204/eptcs.177.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.3","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1503.04908","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.04908","pdf_url":"https://arxiv.org/pdf/1503.04908","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:repositorio-aberto.up.pt:10216/75622","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/10216/75622","pdf_url":"https://repositorio-aberto.up.pt/bitstream/10216/75622/2/31976.pdf","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"master thesis"},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/5218","doi":null,"is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/5218","pdf_url":"https://repositorio.inesctec.pt/server/api/core/bitstreams/d60770d4-f08d-4d84-9e3c-8166212d54d0/content","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"conference object"},{"id":"pmh:oai:doaj.org/article:6d647092be7f4a58af0369ad9610c408","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/6d647092be7f4a58af0369ad9610c408","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 177, Iss Proc. ITRS 2014, Pp 24-42 (2015)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1503.04908","doi":"https://doi.org/10.48550/arxiv.1503.04908","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1503.04908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.34626/cg3r-va33","doi":"https://doi.org/10.34626/cg3r-va33","is_oa":true,"landing_page_url":"https://doi.org/10.34626/cg3r-va33","pdf_url":null,"source":{"id":"https://openalex.org/S7407051329","display_name":"Universidade do Porto","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"}],"best_oa_location":{"id":"doi:10.4204/eptcs.177.3","doi":"https://doi.org/10.4204/eptcs.177.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.3","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2080419437.pdf","grobid_xml":"https://content.openalex.org/works/W2080419437.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W151990118","https://openalex.org/W191500592","https://openalex.org/W785213887","https://openalex.org/W1558848517","https://openalex.org/W1593825979","https://openalex.org/W1595372275","https://openalex.org/W1703762240","https://openalex.org/W1820726602","https://openalex.org/W1970227944","https://openalex.org/W1973312452","https://openalex.org/W1980939032","https://openalex.org/W2019376542","https://openalex.org/W2030670832","https://openalex.org/W2072881702","https://openalex.org/W2073904768","https://openalex.org/W2085670481","https://openalex.org/W2100738443","https://openalex.org/W2112920894","https://openalex.org/W2123470495","https://openalex.org/W2125995229","https://openalex.org/W2130175237","https://openalex.org/W2141210774","https://openalex.org/W2144160229","https://openalex.org/W2154273644","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2295923951","https://openalex.org/W2323803659","https://openalex.org/W2912106379","https://openalex.org/W6635723724"],"related_works":["https://openalex.org/W1581247796","https://openalex.org/W7096104795","https://openalex.org/W2101124889","https://openalex.org/W7098261250","https://openalex.org/W3101540591","https://openalex.org/W1994115046","https://openalex.org/W2075623758","https://openalex.org/W1919063304","https://openalex.org/W2182564635","https://openalex.org/W1990370351"],"abstract_inverted_index":{"We":[0,35],"present":[1],"a":[2],"new":[3],"type":[4,14],"system":[5,46],"combining":[6],"refinement":[7,33],"types":[8,28],"and":[9,50],"the":[10,31],"expressiveness":[11],"of":[12,18],"intersection":[13],"discipline.":[15],"The":[16],"use":[17],"such":[19],"features":[20],"makes":[21],"it":[22],"possible":[23],"to":[24,39,58],"derive":[25],"more":[26],"precise":[27],"than":[29],"in":[30],"original":[32],"system.":[34],"have":[36],"been":[37],"able":[38],"prove":[40],"several":[41],"interesting":[42],"properties":[43],"for":[44],"our":[45],"(including":[47],"subject":[48],"reduction)":[49],"developed":[51],"an":[52],"inference":[53],"algorithm,":[54],"which":[55],"we":[56],"proved":[57],"be":[59],"sound.":[60]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}