Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100611214> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3100611214 startingPage "17" @default.
- W3100611214 abstract "The recently introduced notions of guarded traced (monoidal) category and guarded (pre-)iterative monad aim at unifying different instances of partial iteration whilst keeping in touch with the established theory of total iteration and preserving its merits. In this paper we use these notions and the corresponding stock of results to examine different types of iteration for hybrid computations. As a starting point we use an available notion of hybrid monad restricted to the category of sets, and modify it in order to obtain a suitable notion of guarded iteration with guardedness interpreted as progressiveness in time - we motivate this modification by our intention to capture Zeno behaviour in an arguably general and feasible way. We illustrate our results with a simple programming language for hybrid computations and interpret it over the developed semantic foundations." @default.
- W3100611214 created "2020-11-23" @default.
- W3100611214 creator A5049352361 @default.
- W3100611214 creator A5053848805 @default.
- W3100611214 creator A5089182045 @default.
- W3100611214 date "2018-01-01" @default.
- W3100611214 modified "2023-10-17" @default.
- W3100611214 title "A Semantics for Hybrid Iteration" @default.
- W3100611214 hasPublicationYear "2018" @default.
- W3100611214 type Work @default.
- W3100611214 sameAs 3100611214 @default.
- W3100611214 citedByCount "2" @default.
- W3100611214 countsByYear W31006112142019 @default.
- W3100611214 countsByYear W31006112142020 @default.
- W3100611214 crossrefType "proceedings-article" @default.
- W3100611214 hasAuthorship W3100611214A5049352361 @default.
- W3100611214 hasAuthorship W3100611214A5053848805 @default.
- W3100611214 hasAuthorship W3100611214A5089182045 @default.
- W3100611214 hasConcept C111472728 @default.
- W3100611214 hasConcept C11413529 @default.
- W3100611214 hasConcept C118615104 @default.
- W3100611214 hasConcept C138885662 @default.
- W3100611214 hasConcept C156325763 @default.
- W3100611214 hasConcept C156772000 @default.
- W3100611214 hasConcept C184337299 @default.
- W3100611214 hasConcept C199360897 @default.
- W3100611214 hasConcept C207648694 @default.
- W3100611214 hasConcept C2780586882 @default.
- W3100611214 hasConcept C33923547 @default.
- W3100611214 hasConcept C33959348 @default.
- W3100611214 hasConcept C41008148 @default.
- W3100611214 hasConcept C45374587 @default.
- W3100611214 hasConcept C80444323 @default.
- W3100611214 hasConceptScore W3100611214C111472728 @default.
- W3100611214 hasConceptScore W3100611214C11413529 @default.
- W3100611214 hasConceptScore W3100611214C118615104 @default.
- W3100611214 hasConceptScore W3100611214C138885662 @default.
- W3100611214 hasConceptScore W3100611214C156325763 @default.
- W3100611214 hasConceptScore W3100611214C156772000 @default.
- W3100611214 hasConceptScore W3100611214C184337299 @default.
- W3100611214 hasConceptScore W3100611214C199360897 @default.
- W3100611214 hasConceptScore W3100611214C207648694 @default.
- W3100611214 hasConceptScore W3100611214C2780586882 @default.
- W3100611214 hasConceptScore W3100611214C33923547 @default.
- W3100611214 hasConceptScore W3100611214C33959348 @default.
- W3100611214 hasConceptScore W3100611214C41008148 @default.
- W3100611214 hasConceptScore W3100611214C45374587 @default.
- W3100611214 hasConceptScore W3100611214C80444323 @default.
- W3100611214 hasLocation W31006112141 @default.
- W3100611214 hasOpenAccess W3100611214 @default.
- W3100611214 hasPrimaryLocation W31006112141 @default.
- W3100611214 hasRelatedWork W1508378755 @default.
- W3100611214 hasRelatedWork W1512204044 @default.
- W3100611214 hasRelatedWork W1551053236 @default.
- W3100611214 hasRelatedWork W1968728708 @default.
- W3100611214 hasRelatedWork W1986499471 @default.
- W3100611214 hasRelatedWork W2092054572 @default.
- W3100611214 hasRelatedWork W2128992690 @default.
- W3100611214 hasRelatedWork W2149537518 @default.
- W3100611214 hasRelatedWork W2160809209 @default.
- W3100611214 hasRelatedWork W2479043907 @default.
- W3100611214 hasRelatedWork W2616349957 @default.
- W3100611214 hasRelatedWork W2811374414 @default.
- W3100611214 hasRelatedWork W2907351305 @default.
- W3100611214 hasRelatedWork W2951572270 @default.
- W3100611214 hasRelatedWork W2964160924 @default.
- W3100611214 hasRelatedWork W3000405346 @default.
- W3100611214 hasRelatedWork W3127637957 @default.
- W3100611214 hasRelatedWork W67633796 @default.
- W3100611214 hasRelatedWork W68545008 @default.
- W3100611214 hasRelatedWork W2184404033 @default.
- W3100611214 hasVolume "118" @default.
- W3100611214 isParatext "false" @default.
- W3100611214 isRetracted "false" @default.
- W3100611214 magId "3100611214" @default.
- W3100611214 workType "article" @default.