Matches in SemOpenAlex for { <https://semopenalex.org/work/W1968990996> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1968990996 endingPage "307" @default.
- W1968990996 startingPage "293" @default.
- W1968990996 abstract "We consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularity, in particular accounting for the interaction between side-effects and various forms of nondeterminism. That involves extending the notion of distributivity of a monad over another monad to distributivity of a monad over any algebraic structure. We give a general theorem which asserts when algebraic structure extends along a Kleisli category, thus allowing modularity." @default.
- W1968990996 created "2016-06-24" @default.
- W1968990996 creator A5082619162 @default.
- W1968990996 date "1997-01-01" @default.
- W1968990996 modified "2023-09-28" @default.
- W1968990996 title "Modularity in Denotational Semantics" @default.
- W1968990996 cites W1995674161 @default.
- W1968990996 cites W2075406361 @default.
- W1968990996 cites W2101416179 @default.
- W1968990996 cites W2130404229 @default.
- W1968990996 cites W2137843891 @default.
- W1968990996 cites W2141576692 @default.
- W1968990996 cites W833260545 @default.
- W1968990996 doi "https://doi.org/10.1016/s1571-0661(05)80153-7" @default.
- W1968990996 hasPublicationYear "1997" @default.
- W1968990996 type Work @default.
- W1968990996 sameAs 1968990996 @default.
- W1968990996 citedByCount "8" @default.
- W1968990996 crossrefType "journal-article" @default.
- W1968990996 hasAuthorship W1968990996A5082619162 @default.
- W1968990996 hasBestOaLocation W19689909961 @default.
- W1968990996 hasConcept C101468663 @default.
- W1968990996 hasConcept C11821877 @default.
- W1968990996 hasConcept C118615104 @default.
- W1968990996 hasConcept C121375916 @default.
- W1968990996 hasConcept C134306372 @default.
- W1968990996 hasConcept C136119220 @default.
- W1968990996 hasConcept C138390121 @default.
- W1968990996 hasConcept C154945302 @default.
- W1968990996 hasConcept C156325763 @default.
- W1968990996 hasConcept C156772000 @default.
- W1968990996 hasConcept C184337299 @default.
- W1968990996 hasConcept C199360897 @default.
- W1968990996 hasConcept C202444582 @default.
- W1968990996 hasConcept C207648694 @default.
- W1968990996 hasConcept C2779478453 @default.
- W1968990996 hasConcept C29585364 @default.
- W1968990996 hasConcept C33923547 @default.
- W1968990996 hasConcept C33959348 @default.
- W1968990996 hasConcept C41008148 @default.
- W1968990996 hasConcept C54355233 @default.
- W1968990996 hasConcept C54884031 @default.
- W1968990996 hasConcept C86803240 @default.
- W1968990996 hasConcept C89448276 @default.
- W1968990996 hasConcept C9376300 @default.
- W1968990996 hasConceptScore W1968990996C101468663 @default.
- W1968990996 hasConceptScore W1968990996C11821877 @default.
- W1968990996 hasConceptScore W1968990996C118615104 @default.
- W1968990996 hasConceptScore W1968990996C121375916 @default.
- W1968990996 hasConceptScore W1968990996C134306372 @default.
- W1968990996 hasConceptScore W1968990996C136119220 @default.
- W1968990996 hasConceptScore W1968990996C138390121 @default.
- W1968990996 hasConceptScore W1968990996C154945302 @default.
- W1968990996 hasConceptScore W1968990996C156325763 @default.
- W1968990996 hasConceptScore W1968990996C156772000 @default.
- W1968990996 hasConceptScore W1968990996C184337299 @default.
- W1968990996 hasConceptScore W1968990996C199360897 @default.
- W1968990996 hasConceptScore W1968990996C202444582 @default.
- W1968990996 hasConceptScore W1968990996C207648694 @default.
- W1968990996 hasConceptScore W1968990996C2779478453 @default.
- W1968990996 hasConceptScore W1968990996C29585364 @default.
- W1968990996 hasConceptScore W1968990996C33923547 @default.
- W1968990996 hasConceptScore W1968990996C33959348 @default.
- W1968990996 hasConceptScore W1968990996C41008148 @default.
- W1968990996 hasConceptScore W1968990996C54355233 @default.
- W1968990996 hasConceptScore W1968990996C54884031 @default.
- W1968990996 hasConceptScore W1968990996C86803240 @default.
- W1968990996 hasConceptScore W1968990996C89448276 @default.
- W1968990996 hasConceptScore W1968990996C9376300 @default.
- W1968990996 hasLocation W19689909961 @default.
- W1968990996 hasOpenAccess W1968990996 @default.
- W1968990996 hasPrimaryLocation W19689909961 @default.
- W1968990996 hasRelatedWork W1855927527 @default.
- W1968990996 hasRelatedWork W1968990996 @default.
- W1968990996 hasRelatedWork W1969894701 @default.
- W1968990996 hasRelatedWork W1970567418 @default.
- W1968990996 hasRelatedWork W2101642904 @default.
- W1968990996 hasRelatedWork W2112537465 @default.
- W1968990996 hasRelatedWork W2915142316 @default.
- W1968990996 hasRelatedWork W3139603584 @default.
- W1968990996 hasRelatedWork W4288570799 @default.
- W1968990996 hasRelatedWork W63393015 @default.
- W1968990996 hasVolume "6" @default.
- W1968990996 isParatext "false" @default.
- W1968990996 isRetracted "false" @default.
- W1968990996 magId "1968990996" @default.
- W1968990996 workType "article" @default.