{"id":"https://openalex.org/W4400995365","doi":"https://doi.org/10.1007/978-3-031-66438-0_10","title":"Correspondence Between Composite Theories and Distributive Laws","display_name":"Correspondence Between Composite Theories and Distributive Laws","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400995365","doi":"https://doi.org/10.1007/978-3-031-66438-0_10"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-66438-0_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-66438-0_10","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058388724","display_name":"Alo\u00efs Rosset","orcid":"https://orcid.org/0000-0002-7841-2318"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Alo\u00efs Rosset","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089927419","display_name":"Maaike Zwart","orcid":"https://orcid.org/0000-0002-0257-1574"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Maaike Zwart","raw_affiliation_strings":["IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007089889","display_name":"Helle Hvid Hansen","orcid":"https://orcid.org/0000-0001-7061-1219"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Helle Hvid Hansen","raw_affiliation_strings":["University of Groningen, Groningen, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Groningen, Groningen, Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029479330","display_name":"J\u00f6rg Endrullis","orcid":"https://orcid.org/0000-0002-2554-8270"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Endrullis","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5058388724"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25457153,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"215"},"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.9998999834060669,"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.9998999834060669,"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.9994000196456909,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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/distributive-property","display_name":"Distributive property","score":0.8900632858276367},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6728382706642151},{"id":"https://openalex.org/keywords/composite-number","display_name":"Composite number","score":0.5248753428459167},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.38691502809524536},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.3836895823478699},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3251316547393799},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2842652499675751},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2004532814025879},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.1063031554222107},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.0892382562160492}],"concepts":[{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.8900632858276367},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6728382706642151},{"id":"https://openalex.org/C104779481","wikidata":"https://www.wikidata.org/wiki/Q50707","display_name":"Composite number","level":2,"score":0.5248753428459167},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.38691502809524536},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.3836895823478699},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3251316547393799},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2842652499675751},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2004532814025879},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.1063031554222107},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0892382562160492}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-031-66438-0_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-66438-0_10","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024 Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14617 LNCS, Springer Nature Switzerland AG, pp. 194-215, 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-05000991v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05000991","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"17th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2024, Luxembourg City, Luxembourg. pp.194 - 215, ⟨10.1007/978-3-031-66438-0_10⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.rug.nl:openaire/688fdb51-724b-422f-a580-8274018ab8c8","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/688fdb51-724b-422f-a580-8274018ab8c8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"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":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. Lecture Notes in Computer Science , vol. 14617 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 194-215, 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, Luxembourg City, Luxembourg, 06/04/2024. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/688fdb51-724b-422f-a580-8274018ab8c8","is_oa":true,"landing_page_url":"https://research.rug.nl/files/1098033357/978-3-031-66438-0_10.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"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":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. Lecture Notes in Computer Science , vol. 14617 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 194-215, 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, Luxembourg City, Luxembourg, 06/04/2024. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.rug.nl:publications/688fdb51-724b-422f-a580-8274018ab8c8","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/688fdb51-724b-422f-a580-8274018ab8c8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"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":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. Lecture Notes in Computer Science , vol. 14617 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 194-215, 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, Luxembourg City, Luxembourg, 06/04/2024. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"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":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024 Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14617 LNCS, Springer Nature Switzerland AG, pp. 194-215, 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3caa467a-20a5-45f8-9a4a-6ac1dfd3bd94","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Rosset, A, Zwart, M, Hansen, H H & Endrullis, J 2024, Correspondence Between Composite Theories and Distributive Laws. in B K\u00f6nig & H Urbat (eds), Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024 Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14617 LNCS, Springer Nature Switzerland AG, pp. 194-215, 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024 Luxembourg City, Luxembourg, April 6\u20137, 2024, Luxembourg City, Luxembourg, 6/04/24. https://doi.org/10.1007/978-3-031-66438-0_10","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.46000000834465027,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W106024095","https://openalex.org/W583126019","https://openalex.org/W1521014576","https://openalex.org/W1820313840","https://openalex.org/W1970904244","https://openalex.org/W1997143185","https://openalex.org/W1998546360","https://openalex.org/W2051508582","https://openalex.org/W2098962004","https://openalex.org/W2113123008","https://openalex.org/W2143666059","https://openalex.org/W2171901785","https://openalex.org/W2493333586","https://openalex.org/W2734348649","https://openalex.org/W2797102573","https://openalex.org/W2886147193","https://openalex.org/W2899279471","https://openalex.org/W2905459795","https://openalex.org/W2964207285","https://openalex.org/W2966086059","https://openalex.org/W3024760727","https://openalex.org/W3098518392","https://openalex.org/W3121131146","https://openalex.org/W3121213064","https://openalex.org/W3176870867","https://openalex.org/W4206240906","https://openalex.org/W4210839962","https://openalex.org/W4247177360","https://openalex.org/W4249733112","https://openalex.org/W4251799386","https://openalex.org/W4286599961","https://openalex.org/W4389325926","https://openalex.org/W4393904037","https://openalex.org/W7046101492"],"related_works":["https://openalex.org/W2382957647","https://openalex.org/W2094667621","https://openalex.org/W1509295490","https://openalex.org/W3013987451","https://openalex.org/W2962878999","https://openalex.org/W4206240906","https://openalex.org/W1968830388","https://openalex.org/W4319310753","https://openalex.org/W2520370770","https://openalex.org/W2152114435"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-28T08:17:26.163206","created_date":"2025-10-10T00:00:00"}