Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490282072> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1490282072 endingPage "150" @default.
- W1490282072 startingPage "136" @default.
- W1490282072 abstract "In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science in order to ensure convergency of circular definitions, such as (but not limited to) well-founded recursion and contractivity in complete ultra metric spaces. This general fixed-point theorem encompasses also a similar set theoretic result presented in previous work, based on the notion of ordered family of equivalences, and implemented in the Coq proof assistant." @default.
- W1490282072 created "2016-06-24" @default.
- W1490282072 creator A5024162879 @default.
- W1490282072 creator A5063938532 @default.
- W1490282072 date "2004-01-01" @default.
- W1490282072 modified "2023-09-27" @default.
- W1490282072 title "Unifying Recursive and Co-recursive Definitions in Sheaf Categories" @default.
- W1490282072 cites W1495567550 @default.
- W1490282072 cites W1551036056 @default.
- W1490282072 cites W1586367033 @default.
- W1490282072 cites W1904811476 @default.
- W1490282072 cites W1949275316 @default.
- W1490282072 cites W1980786790 @default.
- W1490282072 cites W2035324774 @default.
- W1490282072 cites W2140920629 @default.
- W1490282072 doi "https://doi.org/10.1007/978-3-540-24727-2_11" @default.
- W1490282072 hasPublicationYear "2004" @default.
- W1490282072 type Work @default.
- W1490282072 sameAs 1490282072 @default.
- W1490282072 citedByCount "11" @default.
- W1490282072 countsByYear W14902820722013 @default.
- W1490282072 countsByYear W14902820722014 @default.
- W1490282072 countsByYear W14902820722017 @default.
- W1490282072 countsByYear W14902820722021 @default.
- W1490282072 crossrefType "book-chapter" @default.
- W1490282072 hasAuthorship W1490282072A5024162879 @default.
- W1490282072 hasAuthorship W1490282072A5063938532 @default.
- W1490282072 hasBestOaLocation W14902820721 @default.
- W1490282072 hasConcept C108710211 @default.
- W1490282072 hasConcept C11413529 @default.
- W1490282072 hasConcept C118615104 @default.
- W1490282072 hasConcept C134306372 @default.
- W1490282072 hasConcept C136119220 @default.
- W1490282072 hasConcept C168773036 @default.
- W1490282072 hasConcept C177264268 @default.
- W1490282072 hasConcept C199360897 @default.
- W1490282072 hasConcept C202444582 @default.
- W1490282072 hasConcept C203265346 @default.
- W1490282072 hasConcept C206880738 @default.
- W1490282072 hasConcept C2524010 @default.
- W1490282072 hasConcept C33923547 @default.
- W1490282072 hasConcept C4017995 @default.
- W1490282072 hasConcept C41008148 @default.
- W1490282072 hasConcept C45962547 @default.
- W1490282072 hasConcept C61445026 @default.
- W1490282072 hasConcept C80444323 @default.
- W1490282072 hasConceptScore W1490282072C108710211 @default.
- W1490282072 hasConceptScore W1490282072C11413529 @default.
- W1490282072 hasConceptScore W1490282072C118615104 @default.
- W1490282072 hasConceptScore W1490282072C134306372 @default.
- W1490282072 hasConceptScore W1490282072C136119220 @default.
- W1490282072 hasConceptScore W1490282072C168773036 @default.
- W1490282072 hasConceptScore W1490282072C177264268 @default.
- W1490282072 hasConceptScore W1490282072C199360897 @default.
- W1490282072 hasConceptScore W1490282072C202444582 @default.
- W1490282072 hasConceptScore W1490282072C203265346 @default.
- W1490282072 hasConceptScore W1490282072C206880738 @default.
- W1490282072 hasConceptScore W1490282072C2524010 @default.
- W1490282072 hasConceptScore W1490282072C33923547 @default.
- W1490282072 hasConceptScore W1490282072C4017995 @default.
- W1490282072 hasConceptScore W1490282072C41008148 @default.
- W1490282072 hasConceptScore W1490282072C45962547 @default.
- W1490282072 hasConceptScore W1490282072C61445026 @default.
- W1490282072 hasConceptScore W1490282072C80444323 @default.
- W1490282072 hasLocation W14902820721 @default.
- W1490282072 hasLocation W14902820722 @default.
- W1490282072 hasOpenAccess W1490282072 @default.
- W1490282072 hasPrimaryLocation W14902820721 @default.
- W1490282072 hasRelatedWork W1490282072 @default.
- W1490282072 hasRelatedWork W2077911875 @default.
- W1490282072 hasRelatedWork W2117439212 @default.
- W1490282072 hasRelatedWork W2136737532 @default.
- W1490282072 hasRelatedWork W2161430598 @default.
- W1490282072 hasRelatedWork W2165496764 @default.
- W1490282072 hasRelatedWork W2305271820 @default.
- W1490282072 hasRelatedWork W2319848615 @default.
- W1490282072 hasRelatedWork W2367802852 @default.
- W1490282072 hasRelatedWork W2530034566 @default.
- W1490282072 isParatext "false" @default.
- W1490282072 isRetracted "false" @default.
- W1490282072 magId "1490282072" @default.
- W1490282072 workType "book-chapter" @default.