{"id":"https://openalex.org/W4403844439","doi":"https://doi.org/10.1007/978-981-97-8943-6","title":"Programming Languages and Systems","display_name":"Programming Languages and Systems","publication_year":2024,"publication_date":"2024-10-28","ids":{"openalex":"https://openalex.org/W4403844439","doi":"https://doi.org/10.1007/978-981-97-8943-6"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-97-8943-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6","pdf_url":"https://link.springer.com/content/pdf/bfm:978-981-97-8943-6/1","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/bfm:978-981-97-8943-6/1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ahrens, Benedikt","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ahrens, Benedikt","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Lumsdaine, Peter LeFanu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lumsdaine, Peter LeFanu","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"North, Paige","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"North, Paige","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.0638,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76767677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6049000024795532,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.6049000024795532,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.5830000042915344,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.5629000067710876,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.8456024527549744},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6095831394195557},{"id":"https://openalex.org/keywords/fifth-generation-programming-language","display_name":"Fifth-generation programming language","score":0.4206346869468689},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.2460680902004242}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8456024527549744},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6095831394195557},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.4206346869468689},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2460680902004242}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-981-97-8943-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6","pdf_url":"https://link.springer.com/content/pdf/bfm:978-981-97-8943-6/1","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},{"id":"pmh:oai:DiVA.org:su-238781","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-238781","pdf_url":"https://su.diva-portal.org/smash/get/diva2:1932707/FULLTEXT01","source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"text"}],"best_oa_location":{"id":"doi:10.1007/978-981-97-8943-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-97-8943-6","pdf_url":"https://link.springer.com/content/pdf/bfm:978-981-97-8943-6/1","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320308943","display_name":"Microsoft Research","ror":"https://ror.org/00d0nc645"},{"id":"https://openalex.org/F4320320326","display_name":"University of Reading","ror":"https://ror.org/05v62cm79"},{"id":"https://openalex.org/F4320321013","display_name":"Radboud Universiteit","ror":"https://ror.org/016xsfp80"},{"id":"https://openalex.org/F4320321041","display_name":"Academia Sinica","ror":"https://ror.org/05bxb3784"},{"id":"https://openalex.org/F4320321112","display_name":"Eberhard Karls Universit\u00e4t T\u00fcbingen","ror":"https://ror.org/03a1kwz48"},{"id":"https://openalex.org/F4320321523","display_name":"Chalmers Tekniska H\u00f6gskola","ror":"https://ror.org/040wg7k59"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320322638","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"},{"id":"https://openalex.org/F4320322999","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04"},{"id":"https://openalex.org/F4320323421","display_name":"G\u00f6teborgs Universitet","ror":"https://ror.org/01tm6cn81"},{"id":"https://openalex.org/F4320324592","display_name":"Univerza v Ljubljani","ror":"https://ror.org/05njb9z20"},{"id":"https://openalex.org/F4320327758","display_name":"Direktoratet for internasjonalisering og kvalitetsutvikling i h\u00f8gare utdanning","ror":null},{"id":"https://openalex.org/F4320330165","display_name":"Serbian Academy of Sciences and Arts","ror":"https://ror.org/05m1y4204"},{"id":"https://openalex.org/F4320334744","display_name":"Institute for Infocomm Research","ror":"https://ror.org/053rfa017"},{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403844439.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4246657653","https://openalex.org/W4253687001","https://openalex.org/W2795955092","https://openalex.org/W1713414949","https://openalex.org/W625381833","https://openalex.org/W1968275544","https://openalex.org/W1559170648","https://openalex.org/W4205997139","https://openalex.org/W1534488117","https://openalex.org/W2018351456"],"abstract_inverted_index":{"Algebraic":[0],"theories":[1],"with":[2,39],"dependency":[3],"between":[4,77],"sorts":[5],"form":[6],"the":[7,52,75,108],"structural":[8],"core":[9],"of":[10,46,59,74,100,107,110],"Martin-L\u00f6f":[11],"type":[12],"theory":[13],"and":[14,54,71,93],"similar":[15],"systems.":[16],"Their":[17],"denotational":[18],"semantics":[19],"are":[20,49],"typically":[21],"studied":[22],"using":[23],"categorical":[24,28],"techniques;":[25],"many":[26,79],"different":[27],"structures":[29],"have":[30],"been":[31,63],"introduced":[32],"to":[33,67],"model":[34,101],"them":[35],"(contextual":[36],"categories,":[37,43],"categories":[38,88],"families,":[40],"display":[41],"map":[42],"etc.)":[44],"Comparisons":[45],"these":[47],"models":[48,81],"scattered":[50],"throughout":[51],"literature,":[53],"a":[55,69,90],"detailed,":[56],"big-picture":[57],"analysis":[58],"their":[60],"relationships":[61,76],"has":[62],"lacking.":[64],"We":[65],"aim":[66],"provide":[68],"clear":[70],"comprehensive":[72],"overview":[73],"as":[78,82,89,103],"such":[80],"possible.":[83],"Specifically,":[84],"we":[85],"take":[86],"comprehension":[87,111],"unifying":[91],"language":[92],"show":[94],"how":[95],"almost":[96],"all":[97],"established":[98],"notions":[99],"embed":[102],"sub-2-categories":[104],"(usually":[105],"full)":[106],"2-category":[109],"categories.":[112]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}