OUTSIDE THE BLOCK SYNDICATE: TRANSLATING FAUST'S ALGEBRA OF BLOCKS TO THE ARROWS FRAMEWORK Article Swipe
Folklore has it that Faust’s algebra of blocks can be represented in Hughes’ algebra of Arrows. In this paper we formalise this understanding, showing that blocks can indeed be encoded with Causal Commutative Arrows. \nWhilst an interesting finding in itself, we believe that this formal translation opens up new avenues of research. For instance, recent work in functional reactive programming on well typed clocks, could provide an alternative to the dependent type approach proposed for multi-rate Faust.
Related Topics
Concepts
Metadata
- Type
- preprint
- Language
- en
- OA Status
- green
- References
- 20
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W2806606748
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W2806606748Canonical identifier for this work in OpenAlex
- Title
-
OUTSIDE THE BLOCK SYNDICATE: TRANSLATING FAUST'S ALGEBRA OF BLOCKS TO THE ARROWS FRAMEWORKWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2018Year of publication
- Publication date
-
2018-07-17Full publication date if available
- Authors
-
Benedict R. Gaster, Nathan Renney, Tom. MitchellList of authors in order
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://hal.science/hal-03162955Direct OA link when available
- Concepts
-
FAUST, Computer science, Algebra over a field, Rewriting, Block (permutation group theory), Programming language, Theoretical computer science, Mathematics, Combinatorics, Pure mathematicsTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- References (count)
-
20Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W2806606748 |
|---|---|
| doi | |
| ids.mag | 2806606748 |
| ids.openalex | https://openalex.org/W2806606748 |
| fwci | 0.0 |
| type | preprint |
| title | OUTSIDE THE BLOCK SYNDICATE: TRANSLATING FAUST'S ALGEBRA OF BLOCKS TO THE ARROWS FRAMEWORK |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T10126 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9995999932289124 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Logic, programming, and type systems |
| topics[1].id | https://openalex.org/T10772 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.992900013923645 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1705 |
| topics[1].subfield.display_name | Computer Networks and Communications |
| topics[1].display_name | Distributed systems and fault tolerance |
| topics[2].id | https://openalex.org/T10142 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9922999739646912 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Formal Methods in Verification |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C2776056051 |
| concepts[0].level | 2 |
| concepts[0].score | 0.7220114469528198 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q1398550 |
| concepts[0].display_name | FAUST |
| concepts[1].id | https://openalex.org/C41008148 |
| concepts[1].level | 0 |
| concepts[1].score | 0.6035282015800476 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[1].display_name | Computer science |
| concepts[2].id | https://openalex.org/C136119220 |
| concepts[2].level | 2 |
| concepts[2].score | 0.5074183344841003 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q1000660 |
| concepts[2].display_name | Algebra over a field |
| concepts[3].id | https://openalex.org/C154690210 |
| concepts[3].level | 2 |
| concepts[3].score | 0.47939443588256836 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q1668499 |
| concepts[3].display_name | Rewriting |
| concepts[4].id | https://openalex.org/C2777210771 |
| concepts[4].level | 2 |
| concepts[4].score | 0.46258828043937683 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q4927124 |
| concepts[4].display_name | Block (permutation group theory) |
| concepts[5].id | https://openalex.org/C199360897 |
| concepts[5].level | 1 |
| concepts[5].score | 0.377819299697876 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q9143 |
| concepts[5].display_name | Programming language |
| concepts[6].id | https://openalex.org/C80444323 |
| concepts[6].level | 1 |
| concepts[6].score | 0.3253334164619446 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[6].display_name | Theoretical computer science |
| concepts[7].id | https://openalex.org/C33923547 |
| concepts[7].level | 0 |
| concepts[7].score | 0.24941956996917725 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[7].display_name | Mathematics |
| concepts[8].id | https://openalex.org/C114614502 |
| concepts[8].level | 1 |
| concepts[8].score | 0.11643081903457642 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q76592 |
| concepts[8].display_name | Combinatorics |
| concepts[9].id | https://openalex.org/C202444582 |
| concepts[9].level | 1 |
| concepts[9].score | 0.10193043947219849 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q837863 |
| concepts[9].display_name | Pure mathematics |
| keywords[0].id | https://openalex.org/keywords/faust |
| keywords[0].score | 0.7220114469528198 |
| keywords[0].display_name | FAUST |
| keywords[1].id | https://openalex.org/keywords/computer-science |
| keywords[1].score | 0.6035282015800476 |
| keywords[1].display_name | Computer science |
| keywords[2].id | https://openalex.org/keywords/algebra-over-a-field |
| keywords[2].score | 0.5074183344841003 |
| keywords[2].display_name | Algebra over a field |
| keywords[3].id | https://openalex.org/keywords/rewriting |
| keywords[3].score | 0.47939443588256836 |
| keywords[3].display_name | Rewriting |
| keywords[4].id | https://openalex.org/keywords/block |
| keywords[4].score | 0.46258828043937683 |
| keywords[4].display_name | Block (permutation group theory) |
| keywords[5].id | https://openalex.org/keywords/programming-language |
| keywords[5].score | 0.377819299697876 |
| keywords[5].display_name | Programming language |
| keywords[6].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[6].score | 0.3253334164619446 |
| keywords[6].display_name | Theoretical computer science |
| keywords[7].id | https://openalex.org/keywords/mathematics |
| keywords[7].score | 0.24941956996917725 |
| keywords[7].display_name | Mathematics |
| keywords[8].id | https://openalex.org/keywords/combinatorics |
| keywords[8].score | 0.11643081903457642 |
| keywords[8].display_name | Combinatorics |
| keywords[9].id | https://openalex.org/keywords/pure-mathematics |
| keywords[9].score | 0.10193043947219849 |
| keywords[9].display_name | Pure mathematics |
| language | en |
| locations[0].id | pmh:oai:eprints.uwe.ac.uk:36566 |
| locations[0].is_oa | False |
| locations[0].source.id | https://openalex.org/S4306401464 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | UWE Research Repository (UWE Bristol) |
| locations[0].source.host_organization | https://openalex.org/I178535277 |
| locations[0].source.host_organization_name | University of the West of England |
| locations[0].source.host_organization_lineage | https://openalex.org/I178535277 |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | acceptedVersion |
| locations[0].raw_type | Conference or Workshop Item |
| locations[0].license_id | |
| locations[0].is_accepted | True |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | |
| locations[1].id | pmh:oai:HAL:hal-03162955v1 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306402512 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| locations[1].source.host_organization | https://openalex.org/I1294671590 |
| locations[1].source.host_organization_name | Centre National de la Recherche Scientifique |
| locations[1].source.host_organization_lineage | https://openalex.org/I1294671590 |
| locations[1].license | other-oa |
| locations[1].pdf_url | |
| locations[1].version | submittedVersion |
| locations[1].raw_type | info:eu-repo/semantics/conferenceObject |
| locations[1].license_id | https://openalex.org/licenses/other-oa |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | Proceedings of the 1st International Faust Conference (IFC-18) |
| locations[1].landing_page_url | https://hal.science/hal-03162955 |
| authorships[0].author.id | https://openalex.org/A5047465290 |
| authorships[0].author.orcid | |
| authorships[0].author.display_name | Benedict R. Gaster |
| authorships[0].countries | GB |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I178535277 |
| authorships[0].affiliations[0].raw_affiliation_string | University of the West of England [Bristol] |
| authorships[0].institutions[0].id | https://openalex.org/I178535277 |
| authorships[0].institutions[0].ror | https://ror.org/02nwg5t34 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I178535277 |
| authorships[0].institutions[0].country_code | GB |
| authorships[0].institutions[0].display_name | University of the West of England |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Benedict R.. Gaster |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | University of the West of England [Bristol] |
| authorships[1].author.id | https://openalex.org/A5058340593 |
| authorships[1].author.orcid | |
| authorships[1].author.display_name | Nathan Renney |
| authorships[1].countries | GB |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I178535277 |
| authorships[1].affiliations[0].raw_affiliation_string | University of the West of England [Bristol] |
| authorships[1].institutions[0].id | https://openalex.org/I178535277 |
| authorships[1].institutions[0].ror | https://ror.org/02nwg5t34 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I178535277 |
| authorships[1].institutions[0].country_code | GB |
| authorships[1].institutions[0].display_name | University of the West of England |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Nathan. Renney |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | University of the West of England [Bristol] |
| authorships[2].author.id | https://openalex.org/A5077971368 |
| authorships[2].author.orcid | |
| authorships[2].author.display_name | Tom. Mitchell |
| authorships[2].countries | GB |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I178535277 |
| authorships[2].affiliations[0].raw_affiliation_string | University of the West of England [Bristol] |
| authorships[2].institutions[0].id | https://openalex.org/I178535277 |
| authorships[2].institutions[0].ror | https://ror.org/02nwg5t34 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I178535277 |
| authorships[2].institutions[0].country_code | GB |
| authorships[2].institutions[0].display_name | University of the West of England |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Tom. Mitchell |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | University of the West of England [Bristol] |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://hal.science/hal-03162955 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | OUTSIDE THE BLOCK SYNDICATE: TRANSLATING FAUST'S ALGEBRA OF BLOCKS TO THE ARROWS FRAMEWORK |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T04:12:42.849631 |
| primary_topic.id | https://openalex.org/T10126 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9995999932289124 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Logic, programming, and type systems |
| related_works | https://openalex.org/W2391801601, https://openalex.org/W3161031121, https://openalex.org/W629442347, https://openalex.org/W4205729956, https://openalex.org/W1581544827, https://openalex.org/W2593318460, https://openalex.org/W2480233295, https://openalex.org/W4388395913, https://openalex.org/W1604871370, https://openalex.org/W4237256501 |
| cited_by_count | 0 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:HAL:hal-03162955v1 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306402512 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| best_oa_location.source.host_organization | https://openalex.org/I1294671590 |
| best_oa_location.source.host_organization_name | Centre National de la Recherche Scientifique |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I1294671590 |
| best_oa_location.license | other-oa |
| best_oa_location.pdf_url | |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | info:eu-repo/semantics/conferenceObject |
| best_oa_location.license_id | https://openalex.org/licenses/other-oa |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | Proceedings of the 1st International Faust Conference (IFC-18) |
| best_oa_location.landing_page_url | https://hal.science/hal-03162955 |
| primary_location.id | pmh:oai:eprints.uwe.ac.uk:36566 |
| primary_location.is_oa | False |
| primary_location.source.id | https://openalex.org/S4306401464 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | UWE Research Repository (UWE Bristol) |
| primary_location.source.host_organization | https://openalex.org/I178535277 |
| primary_location.source.host_organization_name | University of the West of England |
| primary_location.source.host_organization_lineage | https://openalex.org/I178535277 |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | acceptedVersion |
| primary_location.raw_type | Conference or Workshop Item |
| primary_location.license_id | |
| primary_location.is_accepted | True |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | |
| publication_date | 2018-07-17 |
| publication_year | 2018 |
| referenced_works | https://openalex.org/W2514237507, https://openalex.org/W1491898617, https://openalex.org/W2034871280, https://openalex.org/W2116813111, https://openalex.org/W1511203305, https://openalex.org/W2116435685, https://openalex.org/W2602103399, https://openalex.org/W2141576692, https://openalex.org/W2963187563, https://openalex.org/W2397614356, https://openalex.org/W1979330843, https://openalex.org/W1993419491, https://openalex.org/W2166229534, https://openalex.org/W2136202785, https://openalex.org/W2078944436, https://openalex.org/W2248112834, https://openalex.org/W2079512738, https://openalex.org/W2792650235, https://openalex.org/W2059895047, https://openalex.org/W1997143185 |
| referenced_works_count | 20 |
| abstract_inverted_index.In | 16 |
| abstract_inverted_index.an | 34, 65 |
| abstract_inverted_index.be | 9, 28 |
| abstract_inverted_index.in | 11, 37, 55 |
| abstract_inverted_index.it | 2 |
| abstract_inverted_index.of | 6, 14, 49 |
| abstract_inverted_index.on | 59 |
| abstract_inverted_index.to | 67 |
| abstract_inverted_index.up | 46 |
| abstract_inverted_index.we | 19, 39 |
| abstract_inverted_index.For | 51 |
| abstract_inverted_index.can | 8, 26 |
| abstract_inverted_index.for | 73 |
| abstract_inverted_index.has | 1 |
| abstract_inverted_index.new | 47 |
| abstract_inverted_index.the | 68 |
| abstract_inverted_index.that | 3, 24, 41 |
| abstract_inverted_index.this | 17, 21, 42 |
| abstract_inverted_index.type | 70 |
| abstract_inverted_index.well | 60 |
| abstract_inverted_index.with | 30 |
| abstract_inverted_index.work | 54 |
| abstract_inverted_index.could | 63 |
| abstract_inverted_index.opens | 45 |
| abstract_inverted_index.paper | 18 |
| abstract_inverted_index.typed | 61 |
| abstract_inverted_index.Causal | 31 |
| abstract_inverted_index.Faust. | 75 |
| abstract_inverted_index.blocks | 7, 25 |
| abstract_inverted_index.formal | 43 |
| abstract_inverted_index.indeed | 27 |
| abstract_inverted_index.recent | 53 |
| abstract_inverted_index.Arrows. | 15 |
| abstract_inverted_index.algebra | 5, 13 |
| abstract_inverted_index.avenues | 48 |
| abstract_inverted_index.believe | 40 |
| abstract_inverted_index.clocks, | 62 |
| abstract_inverted_index.encoded | 29 |
| abstract_inverted_index.finding | 36 |
| abstract_inverted_index.itself, | 38 |
| abstract_inverted_index.provide | 64 |
| abstract_inverted_index.showing | 23 |
| abstract_inverted_index.Folklore | 0 |
| abstract_inverted_index.approach | 71 |
| abstract_inverted_index.proposed | 72 |
| abstract_inverted_index.reactive | 57 |
| abstract_inverted_index.Faust’s | 4 |
| abstract_inverted_index.Hughes’ | 12 |
| abstract_inverted_index.dependent | 69 |
| abstract_inverted_index.formalise | 20 |
| abstract_inverted_index.instance, | 52 |
| abstract_inverted_index.research. | 50 |
| abstract_inverted_index.functional | 56 |
| abstract_inverted_index.multi-rate | 74 |
| abstract_inverted_index.Commutative | 32 |
| abstract_inverted_index.alternative | 66 |
| abstract_inverted_index.interesting | 35 |
| abstract_inverted_index.programming | 58 |
| abstract_inverted_index.represented | 10 |
| abstract_inverted_index.translation | 44 |
| abstract_inverted_index.understanding, | 22 |
| abstract_inverted_index.Arrows. \nWhilst | 33 |
| cited_by_percentile_year | |
| countries_distinct_count | 1 |
| institutions_distinct_count | 3 |
| citation_normalized_percentile.value | 0.05433576 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |