Matches in SemOpenAlex for { <https://semopenalex.org/work/W4252815648> ?p ?o ?g. }
- W4252815648 endingPage "204" @default.
- W4252815648 startingPage "192" @default.
- W4252815648 abstract "This paper presents a formalized framework for defining corecursive functions safely in a total setting, based on corecursion up-to and relational parametricity. The end product is a general corecursor that allows corecursive (and even recursive) calls under friendly operations, including constructors. Friendly corecursive functions can be registered as such, thereby increasing the corecursor's expressiveness. The metatheory is formalized in the Isabelle proof assistant and forms the core of a prototype tool. The corecursor is derived from first principles, without requiring new axioms or extensions of the logic." @default.
- W4252815648 created "2022-05-12" @default.
- W4252815648 creator A5046106256 @default.
- W4252815648 creator A5064907118 @default.
- W4252815648 creator A5079200257 @default.
- W4252815648 date "2015-08-29" @default.
- W4252815648 modified "2023-10-16" @default.
- W4252815648 title "Foundational extensible corecursion: a proof assistant perspective" @default.
- W4252815648 cites W101424827 @default.
- W4252815648 cites W128672336 @default.
- W4252815648 cites W1495567550 @default.
- W4252815648 cites W1498001169 @default.
- W4252815648 cites W1521087854 @default.
- W4252815648 cites W1553849808 @default.
- W4252815648 cites W1558175043 @default.
- W4252815648 cites W1569975162 @default.
- W4252815648 cites W165755327 @default.
- W4252815648 cites W1664326696 @default.
- W4252815648 cites W1722041408 @default.
- W4252815648 cites W1785480219 @default.
- W4252815648 cites W1837914593 @default.
- W4252815648 cites W1968724907 @default.
- W4252815648 cites W1969167499 @default.
- W4252815648 cites W1969279113 @default.
- W4252815648 cites W1990347565 @default.
- W4252815648 cites W2003701327 @default.
- W4252815648 cites W2008197313 @default.
- W4252815648 cites W2010337608 @default.
- W4252815648 cites W2012841134 @default.
- W4252815648 cites W2014364142 @default.
- W4252815648 cites W2056141758 @default.
- W4252815648 cites W2057292961 @default.
- W4252815648 cites W2074592053 @default.
- W4252815648 cites W2079512738 @default.
- W4252815648 cites W2079640625 @default.
- W4252815648 cites W2085552917 @default.
- W4252815648 cites W2088189323 @default.
- W4252815648 cites W2108652205 @default.
- W4252815648 cites W2117627793 @default.
- W4252815648 cites W2126684544 @default.
- W4252815648 cites W2128995870 @default.
- W4252815648 cites W2137261388 @default.
- W4252815648 cites W2148662736 @default.
- W4252815648 cites W2150604969 @default.
- W4252815648 cites W2152762348 @default.
- W4252815648 cites W2158789193 @default.
- W4252815648 cites W2166662837 @default.
- W4252815648 cites W2183062003 @default.
- W4252815648 cites W2183882274 @default.
- W4252815648 cites W2224398717 @default.
- W4252815648 cites W287445722 @default.
- W4252815648 cites W2914339009 @default.
- W4252815648 cites W2952161062 @default.
- W4252815648 cites W2963638222 @default.
- W4252815648 cites W4250846042 @default.
- W4252815648 cites W4296395898 @default.
- W4252815648 doi "https://doi.org/10.1145/2858949.2784732" @default.
- W4252815648 hasPublicationYear "2015" @default.
- W4252815648 type Work @default.
- W4252815648 citedByCount "6" @default.
- W4252815648 countsByYear W42528156482016 @default.
- W4252815648 countsByYear W42528156482017 @default.
- W4252815648 countsByYear W42528156482018 @default.
- W4252815648 countsByYear W42528156482019 @default.
- W4252815648 crossrefType "journal-article" @default.
- W4252815648 hasAuthorship W4252815648A5046106256 @default.
- W4252815648 hasAuthorship W4252815648A5064907118 @default.
- W4252815648 hasAuthorship W4252815648A5079200257 @default.
- W4252815648 hasBestOaLocation W42528156482 @default.
- W4252815648 hasConcept C108710211 @default.
- W4252815648 hasConcept C12713177 @default.
- W4252815648 hasConcept C154945302 @default.
- W4252815648 hasConcept C167729594 @default.
- W4252815648 hasConcept C199360897 @default.
- W4252815648 hasConcept C203265346 @default.
- W4252815648 hasConcept C2524010 @default.
- W4252815648 hasConcept C32833848 @default.
- W4252815648 hasConcept C33923547 @default.
- W4252815648 hasConcept C39387531 @default.
- W4252815648 hasConcept C41008148 @default.
- W4252815648 hasConcept C80444323 @default.
- W4252815648 hasConceptScore W4252815648C108710211 @default.
- W4252815648 hasConceptScore W4252815648C12713177 @default.
- W4252815648 hasConceptScore W4252815648C154945302 @default.
- W4252815648 hasConceptScore W4252815648C167729594 @default.
- W4252815648 hasConceptScore W4252815648C199360897 @default.
- W4252815648 hasConceptScore W4252815648C203265346 @default.
- W4252815648 hasConceptScore W4252815648C2524010 @default.
- W4252815648 hasConceptScore W4252815648C32833848 @default.
- W4252815648 hasConceptScore W4252815648C33923547 @default.
- W4252815648 hasConceptScore W4252815648C39387531 @default.
- W4252815648 hasConceptScore W4252815648C41008148 @default.
- W4252815648 hasConceptScore W4252815648C80444323 @default.
- W4252815648 hasFunder F4320320879 @default.
- W4252815648 hasIssue "9" @default.
- W4252815648 hasLocation W42528156481 @default.
- W4252815648 hasLocation W42528156482 @default.
- W4252815648 hasLocation W42528156483 @default.