Publication Information

{'id': 'https://openalex.org/W4206240906', 'doi': 'https://doi.org/10.46298/lmcs-18(1:13)2022', 'title': 'No-Go Theorems for Distributive Laws', 'display_name': 'No-Go Theorems for Distributive Laws', 'publication_year': 2022, 'publication_date': '2022-01-19', 'ids': {'openalex': 'https://openalex.org/W4206240906', 'doi': 'https://doi.org/10.46298/lmcs-18(1:13)2022'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.46298/lmcs-18(1:13)2022', 'pdf_url': 'https://lmcs.episciences.org/8973/pdf', 'source': {'id': 'https://openalex.org/S114379355', 'display_name': 'Logical Methods in Computer Science', 'issn_l': '1860-5974', 'issn': ['1860-5974'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310313916', 'host_organization_name': 'Logical Methods in Computer Science e.V.', 'host_organization_lineage': ['https://openalex.org/P4310313916'], 'host_organization_lineage_names': ['Logical Methods in Computer Science e.V.'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['arxiv', 'crossref', 'datacite', 'doaj'], 'open_access': {'is_oa': True, 'oa_status': 'diamond', 'oa_url': 'https://lmcs.episciences.org/8973/pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5089927419', 'display_name': 'Maaike Zwart', 'orcid': 'https://orcid.org/0000-0002-0257-1574'}, 'institutions': [{'id': 'https://openalex.org/I40120149', 'display_name': 'University of Oxford', 'ror': 'https://ror.org/052gg0110', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I40120149']}], 'countries': ['GB'], 'is_corresponding': False, 'raw_author_name': 'Maaike Zwart', 'raw_affiliation_strings': ['Department of Computer Science, University of Oxford'], 'affiliations': [{'raw_affiliation_string': 'Department of Computer Science, University of Oxford', 'institution_ids': ['https://openalex.org/I40120149']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5109391931', 'display_name': 'Dan Marsden', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I40120149', 'display_name': 'University of Oxford', 'ror': 'https://ror.org/052gg0110', 'country_code': 'GB', 'type': 'education', 'lineage': ['https://openalex.org/I40120149']}], 'countries': ['GB'], 'is_corresponding': True, 'raw_author_name': 'Dan Marsden', 'raw_affiliation_strings': ['Department of Computer Science, University of Oxford'], 'affiliations': [{'raw_affiliation_string': 'Department of Computer Science, University of Oxford', 'institution_ids': ['https://openalex.org/I40120149']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5109391931'], 'corresponding_institution_ids': ['https://openalex.org/I40120149'], 'apc_list': {'value': 0, 'currency': 'USD', 'value_usd': 0, 'provenance': 'doaj'}, 'apc_paid': None, 'fwci': 0.811, 'has_fulltext': False, 'cited_by_count': 5, 'citation_normalized_percentile': {'value': 0.685436, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 83, 'max': 85}, 'biblio': {'volume': 'Volume 18, Issue 1', 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9998, '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.9998, '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.9997, '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.9987, '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/monad', 'display_name': 'Monad (category theory)', 'score': 0.77396667}, {'id': 'https://openalex.org/keywords/counterexample', 'display_name': 'Counterexample', 'score': 0.54767317}], 'concepts': [{'id': 'https://openalex.org/C11821877', 'wikidata': 'https://www.wikidata.org/wiki/Q187959', 'display_name': 'Distributive property', 'level': 2, 'score': 0.9785471}, {'id': 'https://openalex.org/C33959348', 'wikidata': 'https://www.wikidata.org/wiki/Q1630568', 'display_name': 'Monad (category theory)', 'level': 3, 'score': 0.77396667}, {'id': 'https://openalex.org/C162838799', 'wikidata': 'https://www.wikidata.org/wiki/Q596077', 'display_name': 'Counterexample', 'level': 2, 'score': 0.54767317}, {'id': 'https://openalex.org/C2780990831', 'wikidata': 'https://www.wikidata.org/wiki/Q319141', 'display_name': 'Conjecture', 'level': 2, 'score': 0.5378019}, {'id': 'https://openalex.org/C199539241', 'wikidata': 'https://www.wikidata.org/wiki/Q7748', 'display_name': 'Law', 'level': 1, 'score': 0.49240386}, {'id': 'https://openalex.org/C2780129364', 'wikidata': 'https://www.wikidata.org/wiki/Q552284', 'display_name': 'Distributive justice', 'level': 3, 'score': 0.45804968}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.45551884}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.4299585}, {'id': 'https://openalex.org/C144237770', 'wikidata': 'https://www.wikidata.org/wiki/Q747534', 'display_name': 'Mathematical economics', 'level': 1, 'score': 0.33032838}, {'id': 'https://openalex.org/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.26389664}, {'id': 'https://openalex.org/C118615104', 'wikidata': 'https://www.wikidata.org/wiki/Q121416', 'display_name': 'Discrete mathematics', 'level': 1, 'score': 0.22107139}, {'id': 'https://openalex.org/C17744445', 'wikidata': 'https://www.wikidata.org/wiki/Q36442', 'display_name': 'Political science', 'level': 0, 'score': 0.11963543}, {'id': 'https://openalex.org/C156772000', 'wikidata': 'https://www.wikidata.org/wiki/Q864475', 'display_name': 'Functor', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C139621336', 'wikidata': 'https://www.wikidata.org/wiki/Q3190382', 'display_name': 'Economic Justice', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 4, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.46298/lmcs-18(1:13)2022', 'pdf_url': 'https://lmcs.episciences.org/8973/pdf', 'source': {'id': 'https://openalex.org/S114379355', 'display_name': 'Logical Methods in Computer Science', 'issn_l': '1860-5974', 'issn': ['1860-5974'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310313916', 'host_organization_name': 'Logical Methods in Computer Science e.V.', 'host_organization_lineage': ['https://openalex.org/P4310313916'], 'host_organization_lineage_names': ['Logical Methods in Computer Science e.V.'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/2003.12531', 'pdf_url': 'https://arxiv.org/pdf/2003.12531', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, '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': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://doaj.org/article/9b4068a94bd145eaae310b9ff4ec3ee6', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306401280', 'display_name': 'DOAJ (DOAJ: Directory of Open Access Journals)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.2003.12531', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, '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': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.46298/lmcs-18(1:13)2022', 'pdf_url': 'https://lmcs.episciences.org/8973/pdf', 'source': {'id': 'https://openalex.org/S114379355', 'display_name': 'Logical Methods in Computer Science', 'issn_l': '1860-5974', 'issn': ['1860-5974'], 'is_oa': True, 'is_in_doaj': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310313916', 'host_organization_name': 'Logical Methods in Computer Science e.V.', 'host_organization_lineage': ['https://openalex.org/P4310313916'], 'host_organization_lineage_names': ['Logical Methods in Computer Science e.V.'], 'type': 'journal'}, 'license': 'cc-by', 'license_id': 'https://openalex.org/licenses/cc-by', 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/16', 'score': 0.78, 'display_name': 'Peace, justice, and strong institutions'}], 'grants': [], 'datasets': [], 'versions': ['https://openalex.org/W4206240906'], 'referenced_works_count': 26, 'referenced_works': ['https://openalex.org/W1521014576', 'https://openalex.org/W1549977012', 'https://openalex.org/W1559314111', 'https://openalex.org/W1600766624', 'https://openalex.org/W1761683182', 'https://openalex.org/W1970904244', 'https://openalex.org/W1997143185', 'https://openalex.org/W2051508582', 'https://openalex.org/W2052577206', 'https://openalex.org/W2057843304', 'https://openalex.org/W2065261632', 'https://openalex.org/W2094414831', 'https://openalex.org/W2107674601', 'https://openalex.org/W2113123008', 'https://openalex.org/W2136202785', 'https://openalex.org/W2138773009', 'https://openalex.org/W2188944230', 'https://openalex.org/W2427619968', 'https://openalex.org/W2714419060', 'https://openalex.org/W2734348649', 'https://openalex.org/W2797102573', 'https://openalex.org/W2905459795', 'https://openalex.org/W2963465693', 'https://openalex.org/W2964207285', 'https://openalex.org/W2964942624', 'https://openalex.org/W3099810744'], 'related_works': ['https://openalex.org/W4385681624', 'https://openalex.org/W4287705132', 'https://openalex.org/W4240581084', 'https://openalex.org/W2952569802', 'https://openalex.org/W2950489642', 'https://openalex.org/W2904778759', 'https://openalex.org/W2138773009', 'https://openalex.org/W2078516608', 'https://openalex.org/W2049141591', 'https://openalex.org/W2012590989'], 'abstract_inverted_index': {'Monads': [0], 'are': [1, 100], 'commonplace': [2], 'in': [3, 129, 140], 'computer': [4], 'science,': [5], 'and': [6, 22, 90, 97, 132], 'can': [7, 18, 60, 155], 'be': [8, 19, 61, 156, 172], 'composed': [9], 'using': [10], "Beck's": [11], 'distributive': [12, 16, 32, 47, 63, 145, 161, 169], 'laws.': [13, 33, 146], 'Unfortunately,': [14], 'finding': [15], 'laws': [17, 170], 'extremely': [20], 'difficult': [21], 'error-prone.': [23], 'The': [24, 68, 95], 'literature': [25], 'contains': [26], 'some': [27], 'general': [28], 'principles': [29], 'for': [30, 43, 56, 85], 'constructing': [31], 'However,': [34], 'until': [35], 'now': [36], 'there': [37, 59, 154], 'have': [38], 'been': [39], 'no': [40, 46, 62], 'such': [41], 'techniques': [42], 'establishing': [44], 'when': [45, 58], 'law': [48, 64, 162], 'exists.': [49], 'We': [50], 'present': [51], 'three': [52], 'families': [53, 99], 'of': [54, 88, 116], 'theorems': [55], 'showing': [57], 'between': [65, 163], 'two': [66, 164], 'monads.': [67], 'first': [69, 142], 'widely': [70], 'generalizes': [71], 'a': [72, 125, 134], 'counterexample': [73], 'attributed': [74], 'to': [75, 171], 'Plotkin.': [76], 'It': [77], 'covers': [78], 'all': [79], 'the': [80, 113, 118, 130], 'previous': [81], 'known': [82, 168], 'no-go': [83], 'results': [84], 'specific': [86], 'pairs': [87], 'monads,': [89, 165], 'includes': [91], 'many': [92], 'new': [93, 105], 'results.': [94], 'second': [96], 'third': [98], 'entirely': [101], 'novel,': [102], 'encompassing': [103], 'various': [104, 167], 'practical': [106], 'situations.': [107], 'For': [108], 'example,': [109], 'they': [110], 'negatively': [111], 'resolve': [112], 'open': [114], 'question': [115], 'whether': [117], 'list': [119], 'monad': [120], 'distributes': [121], 'over': [122], 'itself,': [123], 'reveal': [124], 'previously': [126], 'unobserved': [127], 'error': [128], 'literature,': [131], 'confirm': [133], 'conjecture': [135], 'made': [136], 'by': [137], 'Beck': [138], 'himself': [139], 'his': [141], 'paper': [143], 'on': [144], 'In': [147], 'addition,': [148], 'we': [149], 'establish': [150], 'conditions': [151], 'under': [152], 'which': [153], 'at': [157], 'most': [158], 'one': [159], 'possible': [160], 'proving': [166], 'unique.': [173]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4206240906', 'counts_by_year': [{'year': 2024, 'cited_by_count': 3}, {'year': 2023, 'cited_by_count': 2}], 'updated_date': '2024-12-09T09:06:39.265783', 'created_date': '2022-01-26'}