| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6875301 | Science of Computer Programming | 2018 | 57 Pages |
Abstract
This article recovers a unified view of computational effects with non-determinism by extending monoids to near-semirings with both additive and multiplicative structure. This enables us to generically define free constructions as well as a novel double Cayley representation that optimises both left-nested sums and left-nested products.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers,