SemOpenAlex |

SemOpenAlex

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

Showing items 1 to 100 of ±101 with 100 items per page.

W1523149969 endingPage "301" @default.
W1523149969 startingPage "286" @default.
W1523149969 abstract "We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can model equi-inductive and equi-coinductive types with terminating recursion and corecursion principles. Two type systems are presented: Mendler (co)iteration and sized types. As an application we show that we can directly represent the mixed inductive/coinductive type of stream processors with associated recursive operations." @default.
W1523149969 created "2016-06-24" @default.
W1523149969 creator A5008534457 @default.
W1523149969 date "2007-11-20" @default.
W1523149969 modified "2023-10-17" @default.
W1523149969 title "Mixed Inductive/Coinductive Types and Strong Normalization" @default.
W1523149969 cites W1505308924 @default.
W1523149969 cites W1518711727 @default.
W1523149969 cites W1525058018 @default.
W1523149969 cites W1565265694 @default.
W1523149969 cites W1597502264 @default.
W1523149969 cites W1845410252 @default.
W1523149969 cites W2002293839 @default.
W1523149969 cites W2003295197 @default.
W1523149969 cites W2105266034 @default.
W1523149969 cites W2121874004 @default.
W1523149969 cites W2132936218 @default.
W1523149969 cites W2159800742 @default.
W1523149969 cites W2171496589 @default.
W1523149969 cites W40661913 @default.
W1523149969 cites W4246631795 @default.
W1523149969 cites W1884307414 @default.
W1523149969 doi "https://doi.org/10.1007/978-3-540-76637-7_19" @default.
W1523149969 hasPublicationYear "2007" @default.
W1523149969 type Work @default.
W1523149969 sameAs 1523149969 @default.
W1523149969 citedByCount "17" @default.
W1523149969 countsByYear W15231499692012 @default.
W1523149969 countsByYear W15231499692013 @default.
W1523149969 countsByYear W15231499692016 @default.
W1523149969 countsByYear W15231499692020 @default.
W1523149969 countsByYear W15231499692022 @default.
W1523149969 crossrefType "book-chapter" @default.
W1523149969 hasAuthorship W1523149969A5008534457 @default.
W1523149969 hasBestOaLocation W15231499692 @default.
W1523149969 hasConcept C108710211 @default.
W1523149969 hasConcept C11413529 @default.
W1523149969 hasConcept C136119220 @default.
W1523149969 hasConcept C136886441 @default.
W1523149969 hasConcept C144024400 @default.
W1523149969 hasConcept C145420912 @default.
W1523149969 hasConcept C154945302 @default.
W1523149969 hasConcept C168773036 @default.
W1523149969 hasConcept C18903297 @default.
W1523149969 hasConcept C19165224 @default.
W1523149969 hasConcept C199360897 @default.
W1523149969 hasConcept C202444582 @default.
W1523149969 hasConcept C21563000 @default.
W1523149969 hasConcept C2524010 @default.
W1523149969 hasConcept C2777299769 @default.
W1523149969 hasConcept C2993131915 @default.
W1523149969 hasConcept C33923547 @default.
W1523149969 hasConcept C40220748 @default.
W1523149969 hasConcept C41008148 @default.
W1523149969 hasConcept C80444323 @default.
W1523149969 hasConcept C86803240 @default.
W1523149969 hasConcept C88610354 @default.
W1523149969 hasConcept C93682546 @default.
W1523149969 hasConceptScore W1523149969C108710211 @default.
W1523149969 hasConceptScore W1523149969C11413529 @default.
W1523149969 hasConceptScore W1523149969C136119220 @default.
W1523149969 hasConceptScore W1523149969C136886441 @default.
W1523149969 hasConceptScore W1523149969C144024400 @default.
W1523149969 hasConceptScore W1523149969C145420912 @default.
W1523149969 hasConceptScore W1523149969C154945302 @default.
W1523149969 hasConceptScore W1523149969C168773036 @default.
W1523149969 hasConceptScore W1523149969C18903297 @default.
W1523149969 hasConceptScore W1523149969C19165224 @default.
W1523149969 hasConceptScore W1523149969C199360897 @default.
W1523149969 hasConceptScore W1523149969C202444582 @default.
W1523149969 hasConceptScore W1523149969C21563000 @default.
W1523149969 hasConceptScore W1523149969C2524010 @default.
W1523149969 hasConceptScore W1523149969C2777299769 @default.
W1523149969 hasConceptScore W1523149969C2993131915 @default.
W1523149969 hasConceptScore W1523149969C33923547 @default.
W1523149969 hasConceptScore W1523149969C40220748 @default.
W1523149969 hasConceptScore W1523149969C41008148 @default.
W1523149969 hasConceptScore W1523149969C80444323 @default.
W1523149969 hasConceptScore W1523149969C86803240 @default.
W1523149969 hasConceptScore W1523149969C88610354 @default.
W1523149969 hasConceptScore W1523149969C93682546 @default.
W1523149969 hasLocation W15231499691 @default.
W1523149969 hasLocation W15231499692 @default.
W1523149969 hasOpenAccess W1523149969 @default.
W1523149969 hasPrimaryLocation W15231499691 @default.
W1523149969 hasRelatedWork W1507113273 @default.
W1523149969 hasRelatedWork W1523149969 @default.
W1523149969 hasRelatedWork W1532335840 @default.
W1523149969 hasRelatedWork W1593841126 @default.
W1523149969 hasRelatedWork W1803721540 @default.
W1523149969 hasRelatedWork W2128992690 @default.
W1523149969 hasRelatedWork W2133055704 @default.
W1523149969 hasRelatedWork W2152635269 @default.
W1523149969 hasRelatedWork W3191632648 @default.
W1523149969 hasRelatedWork W4287332478 @default.
W1523149969 isParatext "false" @default.
W1523149969 isRetracted "false" @default.
W1523149969 magId "1523149969" @default.