乐胖代购免代理版

{"id":"https://openalex.org/W1967527092","doi":"https://doi.org/10.4204/eptcs.45","title":"Proceedings Fifth Workshop on Intersection Types and Related Systems","display_name":"Proceedings Fifth Workshop on Intersection Types and Related Systems","publication_year":2011,"publication_date":"2011-01-22","ids":{"openalex":"https://openalex.org/W1967527092","doi":"https://doi.org/10.4204/eptcs.45","mag":"1967527092"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.45","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,"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},"type":"paratext","type_crossref":"journal-issue","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.45","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009045679","display_name":"Elaine Pimentel","orcid":"https://orcid.org/0000-0002-7113-0801"},"institutions":[{"id":"https://openalex.org/I219826191","display_name":"Universidade do Estado de Minas Gerais","ror":"https://ror.org/05c84j393","country_code":"BR","type":"education","lineage":["https://openalex.org/I219826191"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Elaine Pimentel","raw_affiliation_strings":["University of Minas Gerais - Brazil"],"affiliations":[{"raw_affiliation_string":"University of Minas Gerais - Brazil","institution_ids":["https://openalex.org/I219826191"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006805009","display_name":"Betti Venneri","orcid":"https://orcid.org/0000-0001-6458-0305"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Betti Venneri","raw_affiliation_strings":["University of Firenze - Italy"],"affiliations":[{"raw_affiliation_string":"University of Firenze - Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113483345","display_name":"J. B. Wells","orcid":null},"institutions":[{"id":"https://openalex.org/I32062511","display_name":"Heriot-Watt University","ror":"https://ror.org/04mghma93","country_code":"GB","type":"education","lineage":["https://openalex.org/I32062511"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Joe Wells","raw_affiliation_strings":["Heriot-Watt University - UK"],"affiliations":[{"raw_affiliation_string":"Heriot-Watt University - UK","institution_ids":["https://openalex.org/I32062511"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.742604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":78},"biblio":{"volume":"45","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.991,"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.991,"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":[],"concepts":[{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.8823218},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4321631},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.22379473},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.19789228}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.45","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,"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},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1101.4104","pdf_url":"https://arxiv.org/pdf/1101.4104","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1101.4104","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.45","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,"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},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.54,"id":"https://metadata.un.org/sdg/17"}],"grants":[],"datasets":[],"versions":["https://openalex.org/W1967527092"],"referenced_works_count":13,"referenced_works":["https://openalex.org/W1551782573","https://openalex.org/W159715351","https://openalex.org/W1795577507","https://openalex.org/W1919063304","https://openalex.org/W1970227944","https://openalex.org/W2010274553","https://openalex.org/W2020543669","https://openalex.org/W2028965656","https://openalex.org/W2042823881","https://openalex.org/W2085670481","https://openalex.org/W2105663497","https://openalex.org/W2111015311","https://openalex.org/W2912089252"],"related_works":["https://openalex.org/W4391913857","https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2382290278","https://openalex.org/W2376932109","https://openalex.org/W2358668433","https://openalex.org/W2350741829","https://openalex.org/W2348909947","https://openalex.org/W2001405890"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,6,51],"proceedings":[4],"of":[5,31,56],"Fifth":[7],"International":[8],"Workshop":[9],"on":[10,25,49,59],"Intersection":[11],"Types":[12],"and":[13,34,53,62],"Related":[14],"Systems":[15],"(ITRS":[16],"2010).":[17],"The":[18,39],"workshop":[19,41],"was":[20],"held":[21],"in":[22],"Edinburgh,":[23],"Scotland,":[24],"July":[26],"9th":[27],"2010,":[28],"as":[29],"part":[30],"FLoC":[32],"2010":[33],"affiliated":[35],"with":[36],"LICS":[37],"2010.":[38],"ITRS":[40],"series":[42],"aim":[43],"at":[44],"bringing":[45],"together":[46],"researchers":[47],"working":[48],"both":[50],"theory":[52],"practical":[54],"applications":[55],"systems":[57],"based":[58],"intersection":[60],"types":[61],"related":[63],"approaches":[64],"(e.g.,":[65],"union":[66],"types,":[67,69],"refinement":[68],"behavioral":[70],"types).":[71]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1967527092","counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2024-12-21T15:56:39.037315","created_date":"2016-06-24"}