FRINK Linked Data Fragments server

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

• W73015254 abstract "We prove the correctness of a formalised realisability interpretation of ex- tensions of first-order theories by inductive and coinductive definitions in an untyped λ-calculus with fixed-points. We illustrate the use of this interpretation for program extraction by some simple examples in the area of exact real number computation and hint at further non-trivial applications in computable analysis." @default.
• W73015254 created "2016-06-24" @default.
• W73015254 creator A5005999573 @default.
• W73015254 date "2010-09-28" @default.
• W73015254 modified "2023-10-12" @default.
• W73015254 title "Realisability for Induction and Coinduction with Applications to Constructive Analysis" @default.
• W73015254 cites W126630044 @default.
• W73015254 cites W1514596527 @default.
• W73015254 cites W1525647423 @default.
• W73015254 cites W1551132038 @default.
• W73015254 cites W1579429785 @default.
• W73015254 cites W1579817075 @default.
• W73015254 cites W1585322774 @default.
• W73015254 cites W1593966805 @default.
• W73015254 cites W1778516555 @default.
• W73015254 cites W1963709755 @default.
• W73015254 cites W1965295069 @default.
• W73015254 cites W2003295197 @default.
• W73015254 cites W2006395151 @default.
• W73015254 cites W2007270285 @default.
• W73015254 cites W2030292569 @default.
• W73015254 cites W2039747541 @default.
• W73015254 cites W2078543558 @default.
• W73015254 cites W2085858043 @default.
• W73015254 cites W2105266034 @default.
• W73015254 cites W2108845204 @default.
• W73015254 cites W2111203331 @default.
• W73015254 cites W2117016770 @default.
• W73015254 cites W2120878557 @default.
• W73015254 cites W2124982781 @default.
• W73015254 cites W2132370466 @default.
• W73015254 cites W2142021747 @default.
• W73015254 cites W2144933141 @default.
• W73015254 cites W2153778836 @default.
• W73015254 cites W2154701013 @default.
• W73015254 cites W2211325406 @default.
• W73015254 cites W2516566257 @default.
• W73015254 cites W2472442674 @default.
• W73015254 doi "https://doi.org/10.3217/jucs-016-18-2535" @default.
• W73015254 hasPublicationYear "2010" @default.
• W73015254 type Work @default.
• W73015254 sameAs 73015254 @default.
• W73015254 citedByCount "6" @default.
• W73015254 countsByYear W730152542012 @default.
• W73015254 countsByYear W730152542013 @default.
• W73015254 countsByYear W730152542016 @default.
• W73015254 countsByYear W730152542020 @default.
• W73015254 crossrefType "journal-article" @default.
• W73015254 hasAuthorship W73015254A5005999573 @default.
• W73015254 hasBestOaLocation W730152541 @default.
• W73015254 hasConcept C108710211 @default.
• W73015254 hasConcept C111472728 @default.
• W73015254 hasConcept C11413529 @default.
• W73015254 hasConcept C138885662 @default.
• W73015254 hasConcept C199343813 @default.
• W73015254 hasConcept C199360897 @default.
• W73015254 hasConcept C2524010 @default.
• W73015254 hasConcept C27318111 @default.
• W73015254 hasConcept C2777686260 @default.
• W73015254 hasConcept C2778701210 @default.
• W73015254 hasConcept C2780586882 @default.
• W73015254 hasConcept C2780654840 @default.
• W73015254 hasConcept C33923547 @default.
• W73015254 hasConcept C40220748 @default.
• W73015254 hasConcept C41008148 @default.
• W73015254 hasConcept C45374587 @default.
• W73015254 hasConcept C527412718 @default.
• W73015254 hasConcept C54271186 @default.
• W73015254 hasConcept C55439883 @default.
• W73015254 hasConcept C71924100 @default.
• W73015254 hasConcept C80444323 @default.
• W73015254 hasConcept C98045186 @default.
• W73015254 hasConceptScore W73015254C108710211 @default.
• W73015254 hasConceptScore W73015254C111472728 @default.
• W73015254 hasConceptScore W73015254C11413529 @default.
• W73015254 hasConceptScore W73015254C138885662 @default.
• W73015254 hasConceptScore W73015254C199343813 @default.
• W73015254 hasConceptScore W73015254C199360897 @default.
• W73015254 hasConceptScore W73015254C2524010 @default.
• W73015254 hasConceptScore W73015254C27318111 @default.
• W73015254 hasConceptScore W73015254C2777686260 @default.
• W73015254 hasConceptScore W73015254C2778701210 @default.
• W73015254 hasConceptScore W73015254C2780586882 @default.
• W73015254 hasConceptScore W73015254C2780654840 @default.
• W73015254 hasConceptScore W73015254C33923547 @default.
• W73015254 hasConceptScore W73015254C40220748 @default.
• W73015254 hasConceptScore W73015254C41008148 @default.
• W73015254 hasConceptScore W73015254C45374587 @default.
• W73015254 hasConceptScore W73015254C527412718 @default.
• W73015254 hasConceptScore W73015254C54271186 @default.
• W73015254 hasConceptScore W73015254C55439883 @default.
• W73015254 hasConceptScore W73015254C71924100 @default.
• W73015254 hasConceptScore W73015254C80444323 @default.
• W73015254 hasConceptScore W73015254C98045186 @default.
• W73015254 hasLocation W730152541 @default.
• W73015254 hasOpenAccess W73015254 @default.
• W73015254 hasPrimaryLocation W730152541 @default.
• W73015254 hasRelatedWork W1566590774 @default.
• W73015254 hasRelatedWork W2074746292 @default.
• W73015254 hasRelatedWork W2110021633 @default.

• next