Matches in SemOpenAlex for { <https://semopenalex.org/work/W161574781> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W161574781 endingPage "192" @default.
- W161574781 startingPage "187" @default.
- W161574781 abstract "The constructions of fixpoints and while-loops in a category of domains can be derived from the colimit, loop(f) of a diagram which consists of a single endomorphism f : D → D. If f is increasing then the colimiting map is the least-fixpoint function Y and $$loopleft( f right) = fixleft( f right)$$the subobject of fixpoints. If f=cond(b, g, 1) is the conditional of a while-program then $$loopleft( f right) = left( {D_{neg b} + loop_infty left( g right)} right)_ bot$$the lifted sum of the terminating values (where b is false) and the infinite loops.KeywordsFull SubcategoryEnrich CategoryInfinite LoopDose CategoryCountable ChainThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W161574781 created "2016-06-24" @default.
- W161574781 creator A5007782198 @default.
- W161574781 date "1991-01-01" @default.
- W161574781 modified "2023-09-27" @default.
- W161574781 title "Fixpoint and loop constructions as colimits" @default.
- W161574781 cites W1981049756 @default.
- W161574781 cites W2020879982 @default.
- W161574781 cites W2024873396 @default.
- W161574781 cites W2120713972 @default.
- W161574781 cites W2156876717 @default.
- W161574781 cites W4211265583 @default.
- W161574781 doi "https://doi.org/10.1007/bfb0084220" @default.
- W161574781 hasPublicationYear "1991" @default.
- W161574781 type Work @default.
- W161574781 sameAs 161574781 @default.
- W161574781 citedByCount "2" @default.
- W161574781 crossrefType "book-chapter" @default.
- W161574781 hasAuthorship W161574781A5007782198 @default.
- W161574781 hasConcept C105795698 @default.
- W161574781 hasConcept C114614502 @default.
- W161574781 hasConcept C116858840 @default.
- W161574781 hasConcept C118615104 @default.
- W161574781 hasConcept C134306372 @default.
- W161574781 hasConcept C184670325 @default.
- W161574781 hasConcept C186399060 @default.
- W161574781 hasConcept C202444582 @default.
- W161574781 hasConcept C33923547 @default.
- W161574781 hasConcept C61445026 @default.
- W161574781 hasConceptScore W161574781C105795698 @default.
- W161574781 hasConceptScore W161574781C114614502 @default.
- W161574781 hasConceptScore W161574781C116858840 @default.
- W161574781 hasConceptScore W161574781C118615104 @default.
- W161574781 hasConceptScore W161574781C134306372 @default.
- W161574781 hasConceptScore W161574781C184670325 @default.
- W161574781 hasConceptScore W161574781C186399060 @default.
- W161574781 hasConceptScore W161574781C202444582 @default.
- W161574781 hasConceptScore W161574781C33923547 @default.
- W161574781 hasConceptScore W161574781C61445026 @default.
- W161574781 hasLocation W1615747811 @default.
- W161574781 hasOpenAccess W161574781 @default.
- W161574781 hasPrimaryLocation W1615747811 @default.
- W161574781 hasRelatedWork W1001563255 @default.
- W161574781 hasRelatedWork W133121657 @default.
- W161574781 hasRelatedWork W1485542928 @default.
- W161574781 hasRelatedWork W2018508809 @default.
- W161574781 hasRelatedWork W2032516058 @default.
- W161574781 hasRelatedWork W2034060365 @default.
- W161574781 hasRelatedWork W2039836099 @default.
- W161574781 hasRelatedWork W2072518812 @default.
- W161574781 hasRelatedWork W2074172117 @default.
- W161574781 hasRelatedWork W2093934543 @default.
- W161574781 hasRelatedWork W2128130642 @default.
- W161574781 hasRelatedWork W2330992228 @default.
- W161574781 hasRelatedWork W2504590169 @default.
- W161574781 hasRelatedWork W256336448 @default.
- W161574781 hasRelatedWork W2606282073 @default.
- W161574781 hasRelatedWork W2647589624 @default.
- W161574781 hasRelatedWork W2950004888 @default.
- W161574781 hasRelatedWork W3107601551 @default.
- W161574781 hasRelatedWork W781192116 @default.
- W161574781 hasRelatedWork W1978609791 @default.
- W161574781 isParatext "false" @default.
- W161574781 isRetracted "false" @default.
- W161574781 magId "161574781" @default.
- W161574781 workType "book-chapter" @default.