Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811474944> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2811474944 abstract "Abstract There are different algebraic structures that one can use to model notions of computation. The most well- known are monads, but lately, applicative functors have been gaining popularity. These two structures can be understood as instances of the unifying notion of monoid in a monoidal category. When dealing with non-determinism, it is usual to extend monads and applicative functors with additional structure. However, depending on the desired non-determinism, there are different options of interaction between the existing and the additional structure. This article studies one of those options, which is captured algebraically by dioids. We generalise dioids to dioid categories and show how dioids in such a category model non- determinism in monads and applicative functors. Moreover, we study the construction of free dioids in a programming context." @default.
- W2811474944 created "2018-07-10" @default.
- W2811474944 creator A5053982125 @default.
- W2811474944 creator A5054486507 @default.
- W2811474944 creator A5060258989 @default.
- W2811474944 date "2018-07-01" @default.
- W2811474944 modified "2023-09-27" @default.
- W2811474944 title "Dioids for Computational Effects" @default.
- W2811474944 cites W1488750823 @default.
- W2811474944 cites W1589639502 @default.
- W2811474944 cites W1590462936 @default.
- W2811474944 cites W1590681881 @default.
- W2811474944 cites W1985220128 @default.
- W2811474944 cites W1997143185 @default.
- W2811474944 cites W2068873267 @default.
- W2811474944 cites W2079108690 @default.
- W2811474944 cites W2079655821 @default.
- W2811474944 cites W2088336977 @default.
- W2811474944 cites W2103272675 @default.
- W2811474944 cites W2116813111 @default.
- W2811474944 cites W2120713972 @default.
- W2811474944 cites W2127956576 @default.
- W2811474944 cites W2138452186 @default.
- W2811474944 cites W2156876717 @default.
- W2811474944 cites W2173780645 @default.
- W2811474944 cites W2295914203 @default.
- W2811474944 cites W2427619968 @default.
- W2811474944 cites W2914837968 @default.
- W2811474944 cites W58233137 @default.
- W2811474944 doi "https://doi.org/10.1016/j.entcs.2018.06.008" @default.
- W2811474944 hasPublicationYear "2018" @default.
- W2811474944 type Work @default.
- W2811474944 sameAs 2811474944 @default.
- W2811474944 citedByCount "0" @default.
- W2811474944 crossrefType "journal-article" @default.
- W2811474944 hasAuthorship W2811474944A5053982125 @default.
- W2811474944 hasAuthorship W2811474944A5054486507 @default.
- W2811474944 hasAuthorship W2811474944A5060258989 @default.
- W2811474944 hasBestOaLocation W28114749441 @default.
- W2811474944 hasConcept C111472728 @default.
- W2811474944 hasConcept C134306372 @default.
- W2811474944 hasConcept C136119220 @default.
- W2811474944 hasConcept C138885662 @default.
- W2811474944 hasConcept C151730666 @default.
- W2811474944 hasConcept C156772000 @default.
- W2811474944 hasConcept C182419690 @default.
- W2811474944 hasConcept C192183473 @default.
- W2811474944 hasConcept C202444582 @default.
- W2811474944 hasConcept C206901836 @default.
- W2811474944 hasConcept C2779343474 @default.
- W2811474944 hasConcept C33923547 @default.
- W2811474944 hasConcept C33959348 @default.
- W2811474944 hasConcept C41008148 @default.
- W2811474944 hasConcept C80444323 @default.
- W2811474944 hasConcept C86803240 @default.
- W2811474944 hasConcept C9376300 @default.
- W2811474944 hasConceptScore W2811474944C111472728 @default.
- W2811474944 hasConceptScore W2811474944C134306372 @default.
- W2811474944 hasConceptScore W2811474944C136119220 @default.
- W2811474944 hasConceptScore W2811474944C138885662 @default.
- W2811474944 hasConceptScore W2811474944C151730666 @default.
- W2811474944 hasConceptScore W2811474944C156772000 @default.
- W2811474944 hasConceptScore W2811474944C182419690 @default.
- W2811474944 hasConceptScore W2811474944C192183473 @default.
- W2811474944 hasConceptScore W2811474944C202444582 @default.
- W2811474944 hasConceptScore W2811474944C206901836 @default.
- W2811474944 hasConceptScore W2811474944C2779343474 @default.
- W2811474944 hasConceptScore W2811474944C33923547 @default.
- W2811474944 hasConceptScore W2811474944C33959348 @default.
- W2811474944 hasConceptScore W2811474944C41008148 @default.
- W2811474944 hasConceptScore W2811474944C80444323 @default.
- W2811474944 hasConceptScore W2811474944C86803240 @default.
- W2811474944 hasConceptScore W2811474944C9376300 @default.
- W2811474944 hasLocation W28114749441 @default.
- W2811474944 hasOpenAccess W2811474944 @default.
- W2811474944 hasPrimaryLocation W28114749441 @default.
- W2811474944 hasRelatedWork W1488428340 @default.
- W2811474944 hasRelatedWork W1633323365 @default.
- W2811474944 hasRelatedWork W1781536310 @default.
- W2811474944 hasRelatedWork W1794561043 @default.
- W2811474944 hasRelatedWork W2023185056 @default.
- W2811474944 hasRelatedWork W2030830197 @default.
- W2811474944 hasRelatedWork W2061569732 @default.
- W2811474944 hasRelatedWork W2127956576 @default.
- W2811474944 hasRelatedWork W2270727392 @default.
- W2811474944 hasRelatedWork W2292818403 @default.
- W2811474944 hasRelatedWork W2402322558 @default.
- W2811474944 hasRelatedWork W2742869180 @default.
- W2811474944 hasRelatedWork W2787278275 @default.
- W2811474944 hasRelatedWork W2921241419 @default.
- W2811474944 hasRelatedWork W2936310910 @default.
- W2811474944 hasRelatedWork W2939704773 @default.
- W2811474944 hasRelatedWork W2962887654 @default.
- W2811474944 hasRelatedWork W2963187563 @default.
- W2811474944 hasRelatedWork W3099908169 @default.
- W2811474944 hasRelatedWork W3100205881 @default.
- W2811474944 isParatext "false" @default.
- W2811474944 isRetracted "false" @default.
- W2811474944 magId "2811474944" @default.
- W2811474944 workType "article" @default.