FRINK Linked Data Fragments server

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

• W1512812951 abstract "Nuprl's constructive type theory, like conventional set theory, buys much of its expressive power and flexibility at the cost of giving up the more manageable kind of type system found in other logics. Many of the benefits and costs of Nuprl's approach to type theory are related to the fact that terms are untyped in the sense that there is no algorithm to determine from the syntax of an expression what type, if any, it is a member of. We have designed and implemented an annotation scheme where terms are decorated with types in such a way that types can (almost always) be efficiently maintained during inference. These type annotations in a term are obtained using Nuprl's existing type checking and type inference machinery, which use contextual information in the term to determine types for subterms." @default.
• W1512812951 created "2016-06-24" @default.
• W1512812951 creator A5073189486 @default.
• W1512812951 date "1998-01-01" @default.
• W1512812951 modified "2023-09-26" @default.
• W1512812951 title "A type annotation scheme for Nuprl" @default.
• W1512812951 cites W1484549188 @default.
• W1512812951 cites W1521083034 @default.
• W1512812951 cites W1530552858 @default.
• W1512812951 cites W1903646270 @default.
• W1512812951 cites W1979818150 @default.
• W1512812951 cites W2110018753 @default.
• W1512812951 cites W2117690652 @default.
• W1512812951 cites W2128057448 @default.
• W1512812951 doi "https://doi.org/10.1007/bfb0055138" @default.
• W1512812951 hasPublicationYear "1998" @default.
• W1512812951 type Work @default.
• W1512812951 sameAs 1512812951 @default.
• W1512812951 citedByCount "3" @default.
• W1512812951 countsByYear W15128129512012 @default.
• W1512812951 crossrefType "book-chapter" @default.
• W1512812951 hasAuthorship W1512812951A5073189486 @default.
• W1512812951 hasConcept C105795698 @default.
• W1512812951 hasConcept C121332964 @default.
• W1512812951 hasConcept C134306372 @default.
• W1512812951 hasConcept C154945302 @default.
• W1512812951 hasConcept C177264268 @default.
• W1512812951 hasConcept C18903297 @default.
• W1512812951 hasConcept C195818886 @default.
• W1512812951 hasConcept C198370458 @default.
• W1512812951 hasConcept C199360897 @default.
• W1512812951 hasConcept C2776214188 @default.
• W1512812951 hasConcept C2776321320 @default.
• W1512812951 hasConcept C2777299769 @default.
• W1512812951 hasConcept C2778701210 @default.
• W1512812951 hasConcept C2780598303 @default.
• W1512812951 hasConcept C33923547 @default.
• W1512812951 hasConcept C3746660 @default.
• W1512812951 hasConcept C41008148 @default.
• W1512812951 hasConcept C60048249 @default.
• W1512812951 hasConcept C61797465 @default.
• W1512812951 hasConcept C62520636 @default.
• W1512812951 hasConcept C77618280 @default.
• W1512812951 hasConcept C80444323 @default.
• W1512812951 hasConcept C86803240 @default.
• W1512812951 hasConcept C90559484 @default.
• W1512812951 hasConcept C93682546 @default.
• W1512812951 hasConcept C98045186 @default.
• W1512812951 hasConceptScore W1512812951C105795698 @default.
• W1512812951 hasConceptScore W1512812951C121332964 @default.
• W1512812951 hasConceptScore W1512812951C134306372 @default.
• W1512812951 hasConceptScore W1512812951C154945302 @default.
• W1512812951 hasConceptScore W1512812951C177264268 @default.
• W1512812951 hasConceptScore W1512812951C18903297 @default.
• W1512812951 hasConceptScore W1512812951C195818886 @default.
• W1512812951 hasConceptScore W1512812951C198370458 @default.
• W1512812951 hasConceptScore W1512812951C199360897 @default.
• W1512812951 hasConceptScore W1512812951C2776214188 @default.
• W1512812951 hasConceptScore W1512812951C2776321320 @default.
• W1512812951 hasConceptScore W1512812951C2777299769 @default.
• W1512812951 hasConceptScore W1512812951C2778701210 @default.
• W1512812951 hasConceptScore W1512812951C2780598303 @default.
• W1512812951 hasConceptScore W1512812951C33923547 @default.
• W1512812951 hasConceptScore W1512812951C3746660 @default.
• W1512812951 hasConceptScore W1512812951C41008148 @default.
• W1512812951 hasConceptScore W1512812951C60048249 @default.
• W1512812951 hasConceptScore W1512812951C61797465 @default.
• W1512812951 hasConceptScore W1512812951C62520636 @default.
• W1512812951 hasConceptScore W1512812951C77618280 @default.
• W1512812951 hasConceptScore W1512812951C80444323 @default.
• W1512812951 hasConceptScore W1512812951C86803240 @default.
• W1512812951 hasConceptScore W1512812951C90559484 @default.
• W1512812951 hasConceptScore W1512812951C93682546 @default.
• W1512812951 hasConceptScore W1512812951C98045186 @default.
• W1512812951 hasLocation W15128129511 @default.
• W1512812951 hasOpenAccess W1512812951 @default.
• W1512812951 hasPrimaryLocation W15128129511 @default.
• W1512812951 hasRelatedWork W1489383421 @default.
• W1512812951 hasRelatedWork W1497580209 @default.
• W1512812951 hasRelatedWork W1516440063 @default.
• W1512812951 hasRelatedWork W1539325982 @default.
• W1512812951 hasRelatedWork W1551287637 @default.
• W1512812951 hasRelatedWork W1627011610 @default.
• W1512812951 hasRelatedWork W1867052887 @default.
• W1512812951 hasRelatedWork W1869300951 @default.
• W1512812951 hasRelatedWork W1968608688 @default.
• W1512812951 hasRelatedWork W1989866935 @default.
• W1512812951 hasRelatedWork W2009165202 @default.
• W1512812951 hasRelatedWork W2092371432 @default.
• W1512812951 hasRelatedWork W2101085206 @default.
• W1512812951 hasRelatedWork W2112955239 @default.
• W1512812951 hasRelatedWork W2127049065 @default.
• W1512812951 hasRelatedWork W2130872434 @default.
• W1512812951 hasRelatedWork W2143441770 @default.
• W1512812951 hasRelatedWork W2149925406 @default.
• W1512812951 hasRelatedWork W2163468719 @default.
• W1512812951 hasRelatedWork W2514068578 @default.
• W1512812951 isParatext "false" @default.
• W1512812951 isRetracted "false" @default.
• W1512812951 magId "1512812951" @default.

• next