Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878466686> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1878466686 endingPage "100" @default.
- W1878466686 startingPage "84" @default.
- W1878466686 abstract "Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because of the properties of the coalgebra marshalling the recursive call arguments but thanks to the algebra assembling their results. Dualizing the known notions of recursive and wellfounded coalgebras, we call an algebra of a functor corecursive, if from any coalgebra of the same functor there is a unique map to this algebra, and antifounded, if it admits a bisimilarity principle. Differently from recursiveness and wellfoundedness, which are equivalent conditions under mild assumptions, corecursiveness and antifoundedness turn out to be generally inequivalent." @default.
- W1878466686 created "2016-06-24" @default.
- W1878466686 creator A5025355354 @default.
- W1878466686 creator A5069353491 @default.
- W1878466686 creator A5074922343 @default.
- W1878466686 date "2009-01-01" @default.
- W1878466686 modified "2023-10-16" @default.
- W1878466686 title "Corecursive Algebras: A Study of General Structured Corecursion" @default.
- W1878466686 cites W1491165055 @default.
- W1878466686 cites W1495567550 @default.
- W1878466686 cites W1980786790 @default.
- W1878466686 cites W1982594584 @default.
- W1878466686 cites W2019066753 @default.
- W1878466686 cites W2034224051 @default.
- W1878466686 cites W2082232201 @default.
- W1878466686 cites W2122667779 @default.
- W1878466686 cites W2133393261 @default.
- W1878466686 cites W2136604612 @default.
- W1878466686 cites W2146471655 @default.
- W1878466686 cites W2163256338 @default.
- W1878466686 cites W4212784955 @default.
- W1878466686 doi "https://doi.org/10.1007/978-3-642-10452-7_7" @default.
- W1878466686 hasPublicationYear "2009" @default.
- W1878466686 type Work @default.
- W1878466686 sameAs 1878466686 @default.
- W1878466686 citedByCount "26" @default.
- W1878466686 countsByYear W18784666862012 @default.
- W1878466686 countsByYear W18784666862013 @default.
- W1878466686 countsByYear W18784666862014 @default.
- W1878466686 countsByYear W18784666862015 @default.
- W1878466686 countsByYear W18784666862016 @default.
- W1878466686 countsByYear W18784666862017 @default.
- W1878466686 countsByYear W18784666862018 @default.
- W1878466686 countsByYear W18784666862019 @default.
- W1878466686 countsByYear W18784666862020 @default.
- W1878466686 countsByYear W18784666862021 @default.
- W1878466686 countsByYear W18784666862022 @default.
- W1878466686 crossrefType "book-chapter" @default.
- W1878466686 hasAuthorship W1878466686A5025355354 @default.
- W1878466686 hasAuthorship W1878466686A5069353491 @default.
- W1878466686 hasAuthorship W1878466686A5074922343 @default.
- W1878466686 hasConcept C136119220 @default.
- W1878466686 hasConcept C14036430 @default.
- W1878466686 hasConcept C156772000 @default.
- W1878466686 hasConcept C167729594 @default.
- W1878466686 hasConcept C202444582 @default.
- W1878466686 hasConcept C2524010 @default.
- W1878466686 hasConcept C2778249326 @default.
- W1878466686 hasConcept C33923547 @default.
- W1878466686 hasConcept C78458016 @default.
- W1878466686 hasConcept C86803240 @default.
- W1878466686 hasConceptScore W1878466686C136119220 @default.
- W1878466686 hasConceptScore W1878466686C14036430 @default.
- W1878466686 hasConceptScore W1878466686C156772000 @default.
- W1878466686 hasConceptScore W1878466686C167729594 @default.
- W1878466686 hasConceptScore W1878466686C202444582 @default.
- W1878466686 hasConceptScore W1878466686C2524010 @default.
- W1878466686 hasConceptScore W1878466686C2778249326 @default.
- W1878466686 hasConceptScore W1878466686C33923547 @default.
- W1878466686 hasConceptScore W1878466686C78458016 @default.
- W1878466686 hasConceptScore W1878466686C86803240 @default.
- W1878466686 hasLocation W18784666861 @default.
- W1878466686 hasOpenAccess W1878466686 @default.
- W1878466686 hasPrimaryLocation W18784666861 @default.
- W1878466686 hasRelatedWork W1560464721 @default.
- W1878466686 hasRelatedWork W1996333803 @default.
- W1878466686 hasRelatedWork W1999357689 @default.
- W1878466686 hasRelatedWork W2021915098 @default.
- W1878466686 hasRelatedWork W2037697064 @default.
- W1878466686 hasRelatedWork W2962931714 @default.
- W1878466686 hasRelatedWork W3171326489 @default.
- W1878466686 hasRelatedWork W3206465359 @default.
- W1878466686 hasRelatedWork W4249632018 @default.
- W1878466686 hasRelatedWork W4287126040 @default.
- W1878466686 isParatext "false" @default.
- W1878466686 isRetracted "false" @default.
- W1878466686 magId "1878466686" @default.
- W1878466686 workType "book-chapter" @default.