Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100285855> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2100285855 endingPage "80" @default.
- W2100285855 startingPage "64" @default.
- W2100285855 abstract "The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe compositional behavior systematically. Here we further illustrate the usefulness of the approach by extending it to a many-sorted setting. Then we can show that the coalgebraic component calculi of Barbosa are examples, with compositionality of behavior following from microcosm structure. The algebraic structure on these coalgebraic components corresponds to variants of Hughes’ notion of arrow, introduced to organize computations in functional programming." @default.
- W2100285855 created "2016-06-24" @default.
- W2100285855 creator A5013382452 @default.
- W2100285855 creator A5035888204 @default.
- W2100285855 creator A5042359645 @default.
- W2100285855 creator A5074223895 @default.
- W2100285855 date "2009-01-01" @default.
- W2100285855 modified "2023-09-25" @default.
- W2100285855 title "Coalgebraic Components in a Many-Sorted Microcosm" @default.
- W2100285855 cites W1120761376 @default.
- W2100285855 cites W1578654632 @default.
- W2100285855 cites W1706940874 @default.
- W2100285855 cites W1965620900 @default.
- W2100285855 cites W1971906578 @default.
- W2100285855 cites W1997143185 @default.
- W2100285855 cites W2050029209 @default.
- W2100285855 cites W2064138295 @default.
- W2100285855 cites W2065261632 @default.
- W2100285855 cites W2081723613 @default.
- W2100285855 cites W2089773888 @default.
- W2100285855 cites W2101416179 @default.
- W2100285855 cites W2107674601 @default.
- W2100285855 cites W2114991657 @default.
- W2100285855 cites W2119534622 @default.
- W2100285855 cites W2151404275 @default.
- W2100285855 cites W2166351442 @default.
- W2100285855 cites W583126019 @default.
- W2100285855 doi "https://doi.org/10.1007/978-3-642-03741-2_6" @default.
- W2100285855 hasPublicationYear "2009" @default.
- W2100285855 type Work @default.
- W2100285855 sameAs 2100285855 @default.
- W2100285855 citedByCount "11" @default.
- W2100285855 countsByYear W21002858552012 @default.
- W2100285855 countsByYear W21002858552014 @default.
- W2100285855 countsByYear W21002858552019 @default.
- W2100285855 crossrefType "book-chapter" @default.
- W2100285855 hasAuthorship W2100285855A5013382452 @default.
- W2100285855 hasAuthorship W2100285855A5035888204 @default.
- W2100285855 hasAuthorship W2100285855A5042359645 @default.
- W2100285855 hasAuthorship W2100285855A5074223895 @default.
- W2100285855 hasBestOaLocation W21002858552 @default.
- W2100285855 hasConcept C121332964 @default.
- W2100285855 hasConcept C121375916 @default.
- W2100285855 hasConcept C136119220 @default.
- W2100285855 hasConcept C154945302 @default.
- W2100285855 hasConcept C168167062 @default.
- W2100285855 hasConcept C182419690 @default.
- W2100285855 hasConcept C18903297 @default.
- W2100285855 hasConcept C199360897 @default.
- W2100285855 hasConcept C202444582 @default.
- W2100285855 hasConcept C2780339515 @default.
- W2100285855 hasConcept C33923547 @default.
- W2100285855 hasConcept C41008148 @default.
- W2100285855 hasConcept C45374587 @default.
- W2100285855 hasConcept C7012322 @default.
- W2100285855 hasConcept C86803240 @default.
- W2100285855 hasConcept C97355855 @default.
- W2100285855 hasConceptScore W2100285855C121332964 @default.
- W2100285855 hasConceptScore W2100285855C121375916 @default.
- W2100285855 hasConceptScore W2100285855C136119220 @default.
- W2100285855 hasConceptScore W2100285855C154945302 @default.
- W2100285855 hasConceptScore W2100285855C168167062 @default.
- W2100285855 hasConceptScore W2100285855C182419690 @default.
- W2100285855 hasConceptScore W2100285855C18903297 @default.
- W2100285855 hasConceptScore W2100285855C199360897 @default.
- W2100285855 hasConceptScore W2100285855C202444582 @default.
- W2100285855 hasConceptScore W2100285855C2780339515 @default.
- W2100285855 hasConceptScore W2100285855C33923547 @default.
- W2100285855 hasConceptScore W2100285855C41008148 @default.
- W2100285855 hasConceptScore W2100285855C45374587 @default.
- W2100285855 hasConceptScore W2100285855C7012322 @default.
- W2100285855 hasConceptScore W2100285855C86803240 @default.
- W2100285855 hasConceptScore W2100285855C97355855 @default.
- W2100285855 hasLocation W21002858551 @default.
- W2100285855 hasLocation W21002858552 @default.
- W2100285855 hasOpenAccess W2100285855 @default.
- W2100285855 hasPrimaryLocation W21002858551 @default.
- W2100285855 hasRelatedWork W1822365851 @default.
- W2100285855 hasRelatedWork W1988942124 @default.
- W2100285855 hasRelatedWork W2057137836 @default.
- W2100285855 hasRelatedWork W2099299821 @default.
- W2100285855 hasRelatedWork W2135396778 @default.
- W2100285855 hasRelatedWork W2166247150 @default.
- W2100285855 hasRelatedWork W2280338999 @default.
- W2100285855 hasRelatedWork W2379533788 @default.
- W2100285855 hasRelatedWork W2949700671 @default.
- W2100285855 hasRelatedWork W4243252198 @default.
- W2100285855 isParatext "false" @default.
- W2100285855 isRetracted "false" @default.
- W2100285855 magId "2100285855" @default.
- W2100285855 workType "book-chapter" @default.