FRINK Linked Data Fragments server

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

• W1532383456 endingPage "236" @default.
• W1532383456 startingPage "220" @default.
• W1532383456 abstract "We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq, AGDA, and other higher-order proof assistants. In this paper, we concentrate in particular on those non-guarded equations where recursive calls appear under functions. We use a correspondence between streams and functions over natural numbers to show that some classes of non-guarded definitions can be modelled through the encoding as structural recursive functions. In practice, this work extends the class of stream values that can be defined in a constructive type theory-based theorem prover with inductive and coinductive types, structural recursion and guarded corecursion." @default.
• W1532383456 created "2016-06-24" @default.
• W1532383456 creator A5013318461 @default.
• W1532383456 creator A5026643182 @default.
• W1532383456 date "2009-01-01" @default.
• W1532383456 modified "2023-10-16" @default.
• W1532383456 title "Using Structural Recursion for Corecursion" @default.
• W1532383456 cites W1487820530 @default.
• W1532383456 cites W1491165055 @default.
• W1532383456 cites W1495567550 @default.
• W1532383456 cites W1532383456 @default.
• W1532383456 cites W1553511155 @default.
• W1532383456 cites W1586367033 @default.
• W1532383456 cites W1601890769 @default.
• W1532383456 cites W1603377159 @default.
• W1532383456 cites W1775764070 @default.
• W1532383456 cites W1862378448 @default.
• W1532383456 cites W2035324774 @default.
• W1532383456 cites W2053068669 @default.
• W1532383456 cites W2074746292 @default.
• W1532383456 cites W2107474854 @default.
• W1532383456 cites W2148387264 @default.
• W1532383456 cites W2171496589 @default.
• W1532383456 cites W3004961099 @default.
• W1532383456 doi "https://doi.org/10.1007/978-3-642-02444-3_14" @default.
• W1532383456 hasPublicationYear "2009" @default.
• W1532383456 type Work @default.
• W1532383456 sameAs 1532383456 @default.
• W1532383456 citedByCount "10" @default.
• W1532383456 countsByYear W15323834562012 @default.
• W1532383456 countsByYear W15323834562013 @default.
• W1532383456 crossrefType "book-chapter" @default.
• W1532383456 hasAuthorship W1532383456A5013318461 @default.
• W1532383456 hasAuthorship W1532383456A5026643182 @default.
• W1532383456 hasBestOaLocation W15323834562 @default.
• W1532383456 hasConcept C108710211 @default.
• W1532383456 hasConcept C11413529 @default.
• W1532383456 hasConcept C124416688 @default.
• W1532383456 hasConcept C136119220 @default.
• W1532383456 hasConcept C154945302 @default.
• W1532383456 hasConcept C168773036 @default.
• W1532383456 hasConcept C17435882 @default.
• W1532383456 hasConcept C18903297 @default.
• W1532383456 hasConcept C199343813 @default.
• W1532383456 hasConcept C199360897 @default.
• W1532383456 hasConcept C202444582 @default.
• W1532383456 hasConcept C203265346 @default.
• W1532383456 hasConcept C206880738 @default.
• W1532383456 hasConcept C2318724 @default.
• W1532383456 hasConcept C2524010 @default.
• W1532383456 hasConcept C2777212361 @default.
• W1532383456 hasConcept C2777299769 @default.
• W1532383456 hasConcept C2777686260 @default.
• W1532383456 hasConcept C2778701210 @default.
• W1532383456 hasConcept C33923547 @default.
• W1532383456 hasConcept C40220748 @default.
• W1532383456 hasConcept C41008148 @default.
• W1532383456 hasConcept C71924100 @default.
• W1532383456 hasConcept C80444323 @default.
• W1532383456 hasConcept C86803240 @default.
• W1532383456 hasConcept C93682546 @default.
• W1532383456 hasConcept C98045186 @default.
• W1532383456 hasConcept C9986523 @default.
• W1532383456 hasConceptScore W1532383456C108710211 @default.
• W1532383456 hasConceptScore W1532383456C11413529 @default.
• W1532383456 hasConceptScore W1532383456C124416688 @default.
• W1532383456 hasConceptScore W1532383456C136119220 @default.
• W1532383456 hasConceptScore W1532383456C154945302 @default.
• W1532383456 hasConceptScore W1532383456C168773036 @default.
• W1532383456 hasConceptScore W1532383456C17435882 @default.
• W1532383456 hasConceptScore W1532383456C18903297 @default.
• W1532383456 hasConceptScore W1532383456C199343813 @default.
• W1532383456 hasConceptScore W1532383456C199360897 @default.
• W1532383456 hasConceptScore W1532383456C202444582 @default.
• W1532383456 hasConceptScore W1532383456C203265346 @default.
• W1532383456 hasConceptScore W1532383456C206880738 @default.
• W1532383456 hasConceptScore W1532383456C2318724 @default.
• W1532383456 hasConceptScore W1532383456C2524010 @default.
• W1532383456 hasConceptScore W1532383456C2777212361 @default.
• W1532383456 hasConceptScore W1532383456C2777299769 @default.
• W1532383456 hasConceptScore W1532383456C2777686260 @default.
• W1532383456 hasConceptScore W1532383456C2778701210 @default.
• W1532383456 hasConceptScore W1532383456C33923547 @default.
• W1532383456 hasConceptScore W1532383456C40220748 @default.
• W1532383456 hasConceptScore W1532383456C41008148 @default.
• W1532383456 hasConceptScore W1532383456C71924100 @default.
• W1532383456 hasConceptScore W1532383456C80444323 @default.
• W1532383456 hasConceptScore W1532383456C86803240 @default.
• W1532383456 hasConceptScore W1532383456C93682546 @default.
• W1532383456 hasConceptScore W1532383456C98045186 @default.
• W1532383456 hasConceptScore W1532383456C9986523 @default.
• W1532383456 hasLocation W15323834561 @default.
• W1532383456 hasLocation W15323834562 @default.
• W1532383456 hasLocation W15323834563 @default.
• W1532383456 hasLocation W15323834564 @default.
• W1532383456 hasLocation W15323834565 @default.
• W1532383456 hasLocation W15323834566 @default.
• W1532383456 hasLocation W15323834567 @default.

• next