FRINK Linked Data Fragments server

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

• W2343288535 endingPage "59" @default.
• W2343288535 startingPage "43" @default.
• W2343288535 abstract "We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we introduce an extension of the Dual Calculus with a Mendler-style (co-)iterator that remains strongly normalizing under head reduction. We prove this using a non-constructive realizability argument." @default.
• W2343288535 created "2016-06-24" @default.
• W2343288535 creator A5009930431 @default.
• W2343288535 creator A5080675787 @default.
• W2343288535 date "2015-12-10" @default.
• W2343288535 modified "2023-09-23" @default.
• W2343288535 title "Classical Logic with Mendler Induction" @default.
• W2343288535 cites W1744323313 @default.
• W2343288535 cites W1775462906 @default.
• W2343288535 cites W1992582651 @default.
• W2343288535 cites W2003295197 @default.
• W2343288535 cites W2058375937 @default.
• W2343288535 cites W2093397547 @default.
• W2343288535 cites W2105266034 @default.
• W2343288535 cites W2124324342 @default.
• W2343288535 cites W2177357765 @default.
• W2343288535 cites W2562293731 @default.
• W2343288535 cites W3006524471 @default.
• W2343288535 cites W3016930148 @default.
• W2343288535 cites W3033845441 @default.
• W2343288535 cites W78524552 @default.
• W2343288535 cites W1839771719 @default.
• W2343288535 doi "https://doi.org/10.1007/978-3-319-27683-0_4" @default.
• W2343288535 hasPublicationYear "2015" @default.
• W2343288535 type Work @default.
• W2343288535 sameAs 2343288535 @default.
• W2343288535 citedByCount "0" @default.
• W2343288535 crossrefType "book-chapter" @default.
• W2343288535 hasAuthorship W2343288535A5009930431 @default.
• W2343288535 hasAuthorship W2343288535A5080675787 @default.
• W2343288535 hasBestOaLocation W23432885352 @default.
• W2343288535 hasConcept C102993220 @default.
• W2343288535 hasConcept C110039528 @default.
• W2343288535 hasConcept C11413529 @default.
• W2343288535 hasConcept C136119220 @default.
• W2343288535 hasConcept C138885662 @default.
• W2343288535 hasConcept C185592680 @default.
• W2343288535 hasConcept C199343813 @default.
• W2343288535 hasConcept C199360897 @default.
• W2343288535 hasConcept C202444582 @default.
• W2343288535 hasConcept C203659156 @default.
• W2343288535 hasConcept C2776378722 @default.
• W2343288535 hasConcept C2777686260 @default.
• W2343288535 hasConcept C2778029271 @default.
• W2343288535 hasConcept C2778701210 @default.
• W2343288535 hasConcept C2780980858 @default.
• W2343288535 hasConcept C32241873 @default.
• W2343288535 hasConcept C33923547 @default.
• W2343288535 hasConcept C41008148 @default.
• W2343288535 hasConcept C41895202 @default.
• W2343288535 hasConcept C55493867 @default.
• W2343288535 hasConcept C69562738 @default.
• W2343288535 hasConcept C71924100 @default.
• W2343288535 hasConcept C80444323 @default.
• W2343288535 hasConcept C98045186 @default.
• W2343288535 hasConcept C98184364 @default.
• W2343288535 hasConceptScore W2343288535C102993220 @default.
• W2343288535 hasConceptScore W2343288535C110039528 @default.
• W2343288535 hasConceptScore W2343288535C11413529 @default.
• W2343288535 hasConceptScore W2343288535C136119220 @default.
• W2343288535 hasConceptScore W2343288535C138885662 @default.
• W2343288535 hasConceptScore W2343288535C185592680 @default.
• W2343288535 hasConceptScore W2343288535C199343813 @default.
• W2343288535 hasConceptScore W2343288535C199360897 @default.
• W2343288535 hasConceptScore W2343288535C202444582 @default.
• W2343288535 hasConceptScore W2343288535C203659156 @default.
• W2343288535 hasConceptScore W2343288535C2776378722 @default.
• W2343288535 hasConceptScore W2343288535C2777686260 @default.
• W2343288535 hasConceptScore W2343288535C2778029271 @default.
• W2343288535 hasConceptScore W2343288535C2778701210 @default.
• W2343288535 hasConceptScore W2343288535C2780980858 @default.
• W2343288535 hasConceptScore W2343288535C32241873 @default.
• W2343288535 hasConceptScore W2343288535C33923547 @default.
• W2343288535 hasConceptScore W2343288535C41008148 @default.
• W2343288535 hasConceptScore W2343288535C41895202 @default.
• W2343288535 hasConceptScore W2343288535C55493867 @default.
• W2343288535 hasConceptScore W2343288535C69562738 @default.
• W2343288535 hasConceptScore W2343288535C71924100 @default.
• W2343288535 hasConceptScore W2343288535C80444323 @default.
• W2343288535 hasConceptScore W2343288535C98045186 @default.
• W2343288535 hasConceptScore W2343288535C98184364 @default.
• W2343288535 hasLocation W23432885351 @default.
• W2343288535 hasLocation W23432885352 @default.
• W2343288535 hasOpenAccess W2343288535 @default.
• W2343288535 hasPrimaryLocation W23432885351 @default.
• W2343288535 hasRelatedWork W1555566156 @default.
• W2343288535 hasRelatedWork W2042169304 @default.
• W2343288535 hasRelatedWork W2045432969 @default.
• W2343288535 hasRelatedWork W2064257235 @default.
• W2343288535 hasRelatedWork W2087449457 @default.
• W2343288535 hasRelatedWork W2129258040 @default.
• W2343288535 hasRelatedWork W2162615833 @default.
• W2343288535 hasRelatedWork W2343288535 @default.
• W2343288535 hasRelatedWork W2760927084 @default.
• W2343288535 hasRelatedWork W798170274 @default.
• W2343288535 isParatext "false" @default.
• W2343288535 isRetracted "false" @default.
• W2343288535 magId "2343288535" @default.

• next