FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2150604969> ?p ?o ?g. }

• W2150604969 endingPage "371" @default.
• W2150604969 startingPage "359" @default.
• W2150604969 abstract "Say you want to prove something about an infinite data-structure, such as a stream or an infinite tree, but you would rather not subject yourself to coinduction. The unique fixed-point principle is an easy-to-use, calculational alternative. The proof technique rests on the fact that certain recursion equations have unique solutions; if two elements of a coinductive type satisfy the same equation of this kind, then they are equal. In this paper we precisely characterize the conditions that guarantee a unique solution. Significantly, we do so not with a syntactic criterion, but with a semantic one that stems from the categorical notion of naturality. Our development is based on distributive laws and bialgebras, and draws heavily on Turi and Plotkin's pioneering work on mathematical operational semantics. Along the way, we break down the design space in two dimensions, leading to a total of nine points. Each gives rise to varying degrees of expressiveness, and we will discuss three in depth. Furthermore, our development is generic in the syntax of equations and in the behaviour they encode - we are not caged in the world of streams." @default.
• W2150604969 created "2016-06-24" @default.
• W2150604969 creator A5005240077 @default.
• W2150604969 creator A5063247380 @default.
• W2150604969 date "2011-09-18" @default.
• W2150604969 modified "2023-10-18" @default.
• W2150604969 title "Proving the unique fixed-point principle correct" @default.
• W2150604969 cites W1532143586 @default.
• W2150604969 cites W1980786790 @default.
• W2150604969 cites W2035150306 @default.
• W2150604969 cites W2057843304 @default.
• W2150604969 cites W2107354844 @default.
• W2150604969 cites W2107474854 @default.
• W2150604969 cites W2116813111 @default.
• W2150604969 cites W2137261388 @default.
• W2150604969 cites W2162919535 @default.
• W2150604969 cites W2163552400 @default.
• W2150604969 cites W2167808031 @default.
• W2150604969 cites W2171496589 @default.
• W2150604969 cites W2952161062 @default.
• W2150604969 cites W3106344214 @default.
• W2150604969 cites W4296395898 @default.
• W2150604969 doi "https://doi.org/10.1145/2034574.2034821" @default.
• W2150604969 hasPublicationYear "2011" @default.
• W2150604969 type Work @default.
• W2150604969 sameAs 2150604969 @default.
• W2150604969 citedByCount "6" @default.
• W2150604969 countsByYear W21506049692013 @default.
• W2150604969 countsByYear W21506049692015 @default.
• W2150604969 crossrefType "journal-article" @default.
• W2150604969 hasAuthorship W2150604969A5005240077 @default.
• W2150604969 hasAuthorship W2150604969A5063247380 @default.
• W2150604969 hasConcept C104317684 @default.
• W2150604969 hasConcept C108710211 @default.
• W2150604969 hasConcept C113174947 @default.
• W2150604969 hasConcept C11821877 @default.
• W2150604969 hasConcept C118615104 @default.
• W2150604969 hasConcept C119857082 @default.
• W2150604969 hasConcept C134306372 @default.
• W2150604969 hasConcept C136119220 @default.
• W2150604969 hasConcept C154945302 @default.
• W2150604969 hasConcept C156325763 @default.
• W2150604969 hasConcept C156772000 @default.
• W2150604969 hasConcept C168773036 @default.
• W2150604969 hasConcept C184337299 @default.
• W2150604969 hasConcept C185592680 @default.
• W2150604969 hasConcept C199360897 @default.
• W2150604969 hasConcept C202444582 @default.
• W2150604969 hasConcept C2524010 @default.
• W2150604969 hasConcept C2776542497 @default.
• W2150604969 hasConcept C33923547 @default.
• W2150604969 hasConcept C33959348 @default.
• W2150604969 hasConcept C40220748 @default.
• W2150604969 hasConcept C41008148 @default.
• W2150604969 hasConcept C5274069 @default.
• W2150604969 hasConcept C55493867 @default.
• W2150604969 hasConcept C60048249 @default.
• W2150604969 hasConcept C61445026 @default.
• W2150604969 hasConcept C66746571 @default.
• W2150604969 hasConceptScore W2150604969C104317684 @default.
• W2150604969 hasConceptScore W2150604969C108710211 @default.
• W2150604969 hasConceptScore W2150604969C113174947 @default.
• W2150604969 hasConceptScore W2150604969C11821877 @default.
• W2150604969 hasConceptScore W2150604969C118615104 @default.
• W2150604969 hasConceptScore W2150604969C119857082 @default.
• W2150604969 hasConceptScore W2150604969C134306372 @default.
• W2150604969 hasConceptScore W2150604969C136119220 @default.
• W2150604969 hasConceptScore W2150604969C154945302 @default.
• W2150604969 hasConceptScore W2150604969C156325763 @default.
• W2150604969 hasConceptScore W2150604969C156772000 @default.
• W2150604969 hasConceptScore W2150604969C168773036 @default.
• W2150604969 hasConceptScore W2150604969C184337299 @default.
• W2150604969 hasConceptScore W2150604969C185592680 @default.
• W2150604969 hasConceptScore W2150604969C199360897 @default.
• W2150604969 hasConceptScore W2150604969C202444582 @default.
• W2150604969 hasConceptScore W2150604969C2524010 @default.
• W2150604969 hasConceptScore W2150604969C2776542497 @default.
• W2150604969 hasConceptScore W2150604969C33923547 @default.
• W2150604969 hasConceptScore W2150604969C33959348 @default.
• W2150604969 hasConceptScore W2150604969C40220748 @default.
• W2150604969 hasConceptScore W2150604969C41008148 @default.
• W2150604969 hasConceptScore W2150604969C5274069 @default.
• W2150604969 hasConceptScore W2150604969C55493867 @default.
• W2150604969 hasConceptScore W2150604969C60048249 @default.
• W2150604969 hasConceptScore W2150604969C61445026 @default.
• W2150604969 hasConceptScore W2150604969C66746571 @default.
• W2150604969 hasIssue "9" @default.
• W2150604969 hasLocation W21506049691 @default.
• W2150604969 hasOpenAccess W2150604969 @default.
• W2150604969 hasPrimaryLocation W21506049691 @default.
• W2150604969 hasRelatedWork W1942658187 @default.
• W2150604969 hasRelatedWork W1980408208 @default.
• W2150604969 hasRelatedWork W2053290352 @default.
• W2150604969 hasRelatedWork W2133055704 @default.
• W2150604969 hasRelatedWork W2150604969 @default.
• W2150604969 hasRelatedWork W2613375231 @default.
• W2150604969 hasRelatedWork W2779132223 @default.
• W2150604969 hasRelatedWork W2886571871 @default.

• next