Matches in SemOpenAlex for { <https://semopenalex.org/work/W191043464> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W191043464 abstract "where, for some object x in Chu(K,x), f : x→ x is given and we seek a : 1→ x. This is of particular interest when we consider a Chu object as a type of computations (think of XA as the set of elements of the type, and YA as the collection of open sets). We are particularly interested in Chu(Set, 2), and so in Sections 2 and 3 we consider type equations in Chu(Set, 2) where the allowed functors are covariant. Even so, as we see in Section 2 these equations may not have solutions. In Section 3 we see a case where they do. In Sections 4 and 5 we consider value equations, obtaining negative results in Section 4 for Chu(Set, 2) and similar cases, and positive results in Section 5 if instead K already allows value recursion. Finally, in Section 6, we obtain positive results for general type equations, assuming suitable enrichment of K." @default.
- W191043464 created "2016-06-24" @default.
- W191043464 creator A5070609290 @default.
- W191043464 date "2005-01-01" @default.
- W191043464 modified "2023-09-27" @default.
- W191043464 title "Notes on the Chu construction and Recursion" @default.
- W191043464 cites W2024873396 @default.
- W191043464 hasPublicationYear "2005" @default.
- W191043464 type Work @default.
- W191043464 sameAs 191043464 @default.
- W191043464 citedByCount "0" @default.
- W191043464 crossrefType "journal-article" @default.
- W191043464 hasAuthorship W191043464A5070609290 @default.
- W191043464 hasConcept C105795698 @default.
- W191043464 hasConcept C111919701 @default.
- W191043464 hasConcept C11413529 @default.
- W191043464 hasConcept C114614502 @default.
- W191043464 hasConcept C118615104 @default.
- W191043464 hasConcept C154945302 @default.
- W191043464 hasConcept C156772000 @default.
- W191043464 hasConcept C168773036 @default.
- W191043464 hasConcept C177264268 @default.
- W191043464 hasConcept C18903297 @default.
- W191043464 hasConcept C199360897 @default.
- W191043464 hasConcept C202444582 @default.
- W191043464 hasConcept C2776291640 @default.
- W191043464 hasConcept C2777299769 @default.
- W191043464 hasConcept C2780129039 @default.
- W191043464 hasConcept C2781238097 @default.
- W191043464 hasConcept C33923547 @default.
- W191043464 hasConcept C41008148 @default.
- W191043464 hasConcept C86803240 @default.
- W191043464 hasConceptScore W191043464C105795698 @default.
- W191043464 hasConceptScore W191043464C111919701 @default.
- W191043464 hasConceptScore W191043464C11413529 @default.
- W191043464 hasConceptScore W191043464C114614502 @default.
- W191043464 hasConceptScore W191043464C118615104 @default.
- W191043464 hasConceptScore W191043464C154945302 @default.
- W191043464 hasConceptScore W191043464C156772000 @default.
- W191043464 hasConceptScore W191043464C168773036 @default.
- W191043464 hasConceptScore W191043464C177264268 @default.
- W191043464 hasConceptScore W191043464C18903297 @default.
- W191043464 hasConceptScore W191043464C199360897 @default.
- W191043464 hasConceptScore W191043464C202444582 @default.
- W191043464 hasConceptScore W191043464C2776291640 @default.
- W191043464 hasConceptScore W191043464C2777299769 @default.
- W191043464 hasConceptScore W191043464C2780129039 @default.
- W191043464 hasConceptScore W191043464C2781238097 @default.
- W191043464 hasConceptScore W191043464C33923547 @default.
- W191043464 hasConceptScore W191043464C41008148 @default.
- W191043464 hasConceptScore W191043464C86803240 @default.
- W191043464 hasLocation W1910434641 @default.
- W191043464 hasOpenAccess W191043464 @default.
- W191043464 hasPrimaryLocation W1910434641 @default.
- W191043464 hasRelatedWork W167110062 @default.
- W191043464 hasRelatedWork W2023101964 @default.
- W191043464 hasRelatedWork W2072163715 @default.
- W191043464 hasRelatedWork W2086178947 @default.
- W191043464 hasRelatedWork W2290067105 @default.
- W191043464 hasRelatedWork W2345209419 @default.
- W191043464 hasRelatedWork W2600009487 @default.
- W191043464 hasRelatedWork W49475005 @default.
- W191043464 hasRelatedWork W645248096 @default.
- W191043464 hasRelatedWork W90338445 @default.
- W191043464 hasRelatedWork W952432298 @default.
- W191043464 isParatext "false" @default.
- W191043464 isRetracted "false" @default.
- W191043464 magId "191043464" @default.
- W191043464 workType "article" @default.