Matches in SemOpenAlex for { <https://semopenalex.org/work/W1763165619> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1763165619 endingPage "102" @default.
- W1763165619 startingPage "83" @default.
- W1763165619 abstract "The Structural Induction Theorem (Lehmann and Smyth, 1981; Plotkin, 1981) characterizes initial F-algebras of locally continuous functors F on the category of cpo's with strict and continuous maps. Here a dual of that theorem is presented, giving a number of equivalent characterizations of final coalgebras of such functors. In particular, final coalgebras are order strongly-extensional (sometimes called internal full abstractness): the order is the union of all (ordered) F-bisimulations. (Since the initial fixed point for locally continuous functors is also final, both theorems apply.) Further, a similar co-induction theorem is given for a category of complete metric spaces and locally contracting functors." @default.
- W1763165619 created "2016-06-24" @default.
- W1763165619 creator A5062502864 @default.
- W1763165619 date "1994-01-01" @default.
- W1763165619 modified "2023-09-25" @default.
- W1763165619 title "A structural co-induction theorem" @default.
- W1763165619 cites W1543688617 @default.
- W1763165619 cites W1547562281 @default.
- W1763165619 cites W1978375202 @default.
- W1763165619 cites W1995902462 @default.
- W1763165619 cites W2024873396 @default.
- W1763165619 cites W2037729105 @default.
- W1763165619 cites W2069979339 @default.
- W1763165619 cites W2071095465 @default.
- W1763165619 cites W2113631133 @default.
- W1763165619 cites W2120713972 @default.
- W1763165619 cites W2143474009 @default.
- W1763165619 cites W2497800209 @default.
- W1763165619 cites W4246668894 @default.
- W1763165619 doi "https://doi.org/10.1007/3-540-58027-1_4" @default.
- W1763165619 hasPublicationYear "1994" @default.
- W1763165619 type Work @default.
- W1763165619 sameAs 1763165619 @default.
- W1763165619 citedByCount "4" @default.
- W1763165619 crossrefType "book-chapter" @default.
- W1763165619 hasAuthorship W1763165619A5062502864 @default.
- W1763165619 hasBestOaLocation W17631656192 @default.
- W1763165619 hasConcept C10138342 @default.
- W1763165619 hasConcept C118615104 @default.
- W1763165619 hasConcept C124952713 @default.
- W1763165619 hasConcept C136119220 @default.
- W1763165619 hasConcept C142362112 @default.
- W1763165619 hasConcept C153778094 @default.
- W1763165619 hasConcept C156772000 @default.
- W1763165619 hasConcept C162324750 @default.
- W1763165619 hasConcept C182306322 @default.
- W1763165619 hasConcept C202444582 @default.
- W1763165619 hasConcept C2780980858 @default.
- W1763165619 hasConcept C33923547 @default.
- W1763165619 hasConceptScore W1763165619C10138342 @default.
- W1763165619 hasConceptScore W1763165619C118615104 @default.
- W1763165619 hasConceptScore W1763165619C124952713 @default.
- W1763165619 hasConceptScore W1763165619C136119220 @default.
- W1763165619 hasConceptScore W1763165619C142362112 @default.
- W1763165619 hasConceptScore W1763165619C153778094 @default.
- W1763165619 hasConceptScore W1763165619C156772000 @default.
- W1763165619 hasConceptScore W1763165619C162324750 @default.
- W1763165619 hasConceptScore W1763165619C182306322 @default.
- W1763165619 hasConceptScore W1763165619C202444582 @default.
- W1763165619 hasConceptScore W1763165619C2780980858 @default.
- W1763165619 hasConceptScore W1763165619C33923547 @default.
- W1763165619 hasLocation W17631656191 @default.
- W1763165619 hasLocation W17631656192 @default.
- W1763165619 hasOpenAccess W1763165619 @default.
- W1763165619 hasPrimaryLocation W17631656191 @default.
- W1763165619 hasRelatedWork W1912064545 @default.
- W1763165619 hasRelatedWork W1992729023 @default.
- W1763165619 hasRelatedWork W1996333803 @default.
- W1763165619 hasRelatedWork W2021915098 @default.
- W1763165619 hasRelatedWork W2165986557 @default.
- W1763165619 hasRelatedWork W2234982114 @default.
- W1763165619 hasRelatedWork W2330473518 @default.
- W1763165619 hasRelatedWork W2962796843 @default.
- W1763165619 hasRelatedWork W2962931714 @default.
- W1763165619 hasRelatedWork W4239744732 @default.
- W1763165619 isParatext "false" @default.
- W1763165619 isRetracted "false" @default.
- W1763165619 magId "1763165619" @default.
- W1763165619 workType "book-chapter" @default.