Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890386422> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2890386422 endingPage "189" @default.
- W2890386422 startingPage "167" @default.
- W2890386422 abstract "Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a high-level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports geometric reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a universal state space, that carries a weakly final state machine for all types of input and output. Being able to program state machines in monoidal computers allows us to represent Turing machines, and capture the time and space needed for their executions. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying not only computability, but also complexity." @default.
- W2890386422 created "2018-09-27" @default.
- W2890386422 creator A5046180584 @default.
- W2890386422 creator A5061638693 @default.
- W2890386422 date "2018-01-01" @default.
- W2890386422 modified "2023-10-08" @default.
- W2890386422 title "Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract)" @default.
- W2890386422 cites W1508750282 @default.
- W2890386422 cites W1576515432 @default.
- W2890386422 cites W1706940874 @default.
- W2890386422 cites W1780247516 @default.
- W2890386422 cites W1969279113 @default.
- W2890386422 cites W1971835373 @default.
- W2890386422 cites W1975754030 @default.
- W2890386422 cites W1980661496 @default.
- W2890386422 cites W1993688167 @default.
- W2890386422 cites W1997143185 @default.
- W2890386422 cites W2031289370 @default.
- W2890386422 cites W2036869460 @default.
- W2890386422 cites W2059295095 @default.
- W2890386422 cites W2060880530 @default.
- W2890386422 cites W2088189323 @default.
- W2890386422 cites W2089442854 @default.
- W2890386422 cites W2092954762 @default.
- W2890386422 cites W2096221521 @default.
- W2890386422 cites W2111246993 @default.
- W2890386422 cites W2112234929 @default.
- W2890386422 cites W2118589925 @default.
- W2890386422 cites W2120713972 @default.
- W2890386422 cites W2160625512 @default.
- W2890386422 cites W2291208220 @default.
- W2890386422 cites W2323777246 @default.
- W2890386422 cites W2402322558 @default.
- W2890386422 cites W2494236442 @default.
- W2890386422 cites W2962877316 @default.
- W2890386422 cites W3023227417 @default.
- W2890386422 cites W4210995301 @default.
- W2890386422 cites W4232277105 @default.
- W2890386422 cites W4234924236 @default.
- W2890386422 cites W4239860474 @default.
- W2890386422 cites W4301330952 @default.
- W2890386422 doi "https://doi.org/10.1007/978-3-030-00389-0_10" @default.
- W2890386422 hasPublicationYear "2018" @default.
- W2890386422 type Work @default.
- W2890386422 sameAs 2890386422 @default.
- W2890386422 citedByCount "3" @default.
- W2890386422 countsByYear W28903864222023 @default.
- W2890386422 crossrefType "book-chapter" @default.
- W2890386422 hasAuthorship W2890386422A5046180584 @default.
- W2890386422 hasAuthorship W2890386422A5061638693 @default.
- W2890386422 hasBestOaLocation W28903864222 @default.
- W2890386422 hasConcept C106624574 @default.
- W2890386422 hasConcept C119857082 @default.
- W2890386422 hasConcept C136119220 @default.
- W2890386422 hasConcept C152062344 @default.
- W2890386422 hasConcept C199360897 @default.
- W2890386422 hasConcept C202444582 @default.
- W2890386422 hasConcept C2779904274 @default.
- W2890386422 hasConcept C29248071 @default.
- W2890386422 hasConcept C33923547 @default.
- W2890386422 hasConcept C41008148 @default.
- W2890386422 hasConcept C45374587 @default.
- W2890386422 hasConcept C5274069 @default.
- W2890386422 hasConcept C80444323 @default.
- W2890386422 hasConceptScore W2890386422C106624574 @default.
- W2890386422 hasConceptScore W2890386422C119857082 @default.
- W2890386422 hasConceptScore W2890386422C136119220 @default.
- W2890386422 hasConceptScore W2890386422C152062344 @default.
- W2890386422 hasConceptScore W2890386422C199360897 @default.
- W2890386422 hasConceptScore W2890386422C202444582 @default.
- W2890386422 hasConceptScore W2890386422C2779904274 @default.
- W2890386422 hasConceptScore W2890386422C29248071 @default.
- W2890386422 hasConceptScore W2890386422C33923547 @default.
- W2890386422 hasConceptScore W2890386422C41008148 @default.
- W2890386422 hasConceptScore W2890386422C45374587 @default.
- W2890386422 hasConceptScore W2890386422C5274069 @default.
- W2890386422 hasConceptScore W2890386422C80444323 @default.
- W2890386422 hasLocation W28903864221 @default.
- W2890386422 hasLocation W28903864222 @default.
- W2890386422 hasLocation W28903864223 @default.
- W2890386422 hasOpenAccess W2890386422 @default.
- W2890386422 hasPrimaryLocation W28903864221 @default.
- W2890386422 hasRelatedWork W1486092766 @default.
- W2890386422 hasRelatedWork W1601479546 @default.
- W2890386422 hasRelatedWork W1732971744 @default.
- W2890386422 hasRelatedWork W1925656416 @default.
- W2890386422 hasRelatedWork W2607438037 @default.
- W2890386422 hasRelatedWork W2625422989 @default.
- W2890386422 hasRelatedWork W2890386422 @default.
- W2890386422 hasRelatedWork W3099579506 @default.
- W2890386422 hasRelatedWork W4229880262 @default.
- W2890386422 hasRelatedWork W4295677743 @default.
- W2890386422 isParatext "false" @default.
- W2890386422 isRetracted "false" @default.
- W2890386422 magId "2890386422" @default.
- W2890386422 workType "book-chapter" @default.