FRINK Linked Data Fragments server

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

• W1636360000 abstract "The thesis concerns itself with nonflat Scott information systems as an appropriate denotational semantics for the proposed theory TCF+, a constructive theory of higher-type partial computable functionals and approximations. We prove a definability theorem for type systems with at most unary constructors via atomic-coherent information systems, and give a simple proof for the density property for arbitrary finitary type systems using coherent information systems. We introduce the notions of token matrices and eigen-neighborhoods, and use them to locate normal forms of neighborhoods, as well as to demonstrate that even nonatomic information systems feature implicit atomicity. We then establish connections between coherent information systems and various pointfree structures. Finally, we introduce a fragment of TCF+ and show that extensionality can be eliminated." @default.
• W1636360000 created "2016-06-24" @default.
• W1636360000 creator A5029473922 @default.
• W1636360000 date "2013-08-12" @default.
• W1636360000 modified "2023-09-27" @default.
• W1636360000 title "Towards an arithmetic for partial computable functionals" @default.
• W1636360000 cites W113818750 @default.
• W1636360000 cites W122982323 @default.
• W1636360000 cites W1486536800 @default.
• W1636360000 cites W1495212203 @default.
• W1636360000 cites W1599641482 @default.
• W1636360000 cites W1608607427 @default.
• W1636360000 cites W1773829243 @default.
• W1636360000 cites W1965946010 @default.
• W1636360000 cites W1966374748 @default.
• W1636360000 cites W1966478469 @default.
• W1636360000 cites W1970510519 @default.
• W1636360000 cites W1981339143 @default.
• W1636360000 cites W1990444834 @default.
• W1636360000 cites W2007270285 @default.
• W1636360000 cites W2007940874 @default.
• W1636360000 cites W2010959827 @default.
• W1636360000 cites W2011043790 @default.
• W1636360000 cites W2016385284 @default.
• W1636360000 cites W2024028559 @default.
• W1636360000 cites W2027235192 @default.
• W1636360000 cites W2028000879 @default.
• W1636360000 cites W2076232585 @default.
• W1636360000 cites W2113447082 @default.
• W1636360000 cites W2491176010 @default.
• W1636360000 cites W2494247423 @default.
• W1636360000 cites W2752443224 @default.
• W1636360000 cites W3146832245 @default.
• W1636360000 cites W561202933 @default.
• W1636360000 cites W573758957 @default.
• W1636360000 cites W74548528 @default.
• W1636360000 cites W969295556 @default.
• W1636360000 hasPublicationYear "2013" @default.
• W1636360000 type Work @default.
• W1636360000 sameAs 1636360000 @default.
• W1636360000 citedByCount "1" @default.
• W1636360000 countsByYear W16363600002014 @default.
• W1636360000 crossrefType "journal-article" @default.
• W1636360000 hasAuthorship W1636360000A5029473922 @default.
• W1636360000 hasConcept C111472728 @default.
• W1636360000 hasConcept C111919701 @default.
• W1636360000 hasConcept C118615104 @default.
• W1636360000 hasConcept C136119220 @default.
• W1636360000 hasConcept C138885662 @default.
• W1636360000 hasConcept C150355047 @default.
• W1636360000 hasConcept C18903297 @default.
• W1636360000 hasConcept C189950617 @default.
• W1636360000 hasConcept C202444582 @default.
• W1636360000 hasConcept C2777299769 @default.
• W1636360000 hasConcept C2778003309 @default.
• W1636360000 hasConcept C2778701210 @default.
• W1636360000 hasConcept C33923547 @default.
• W1636360000 hasConcept C41008148 @default.
• W1636360000 hasConcept C78023250 @default.
• W1636360000 hasConcept C86803240 @default.
• W1636360000 hasConcept C93682546 @default.
• W1636360000 hasConcept C98045186 @default.
• W1636360000 hasConceptScore W1636360000C111472728 @default.
• W1636360000 hasConceptScore W1636360000C111919701 @default.
• W1636360000 hasConceptScore W1636360000C118615104 @default.
• W1636360000 hasConceptScore W1636360000C136119220 @default.
• W1636360000 hasConceptScore W1636360000C138885662 @default.
• W1636360000 hasConceptScore W1636360000C150355047 @default.
• W1636360000 hasConceptScore W1636360000C18903297 @default.
• W1636360000 hasConceptScore W1636360000C189950617 @default.
• W1636360000 hasConceptScore W1636360000C202444582 @default.
• W1636360000 hasConceptScore W1636360000C2777299769 @default.
• W1636360000 hasConceptScore W1636360000C2778003309 @default.
• W1636360000 hasConceptScore W1636360000C2778701210 @default.
• W1636360000 hasConceptScore W1636360000C33923547 @default.
• W1636360000 hasConceptScore W1636360000C41008148 @default.
• W1636360000 hasConceptScore W1636360000C78023250 @default.
• W1636360000 hasConceptScore W1636360000C86803240 @default.
• W1636360000 hasConceptScore W1636360000C93682546 @default.
• W1636360000 hasConceptScore W1636360000C98045186 @default.
• W1636360000 hasLocation W16363600001 @default.
• W1636360000 hasOpenAccess W1636360000 @default.
• W1636360000 hasPrimaryLocation W16363600001 @default.
• W1636360000 hasRelatedWork W1483870778 @default.
• W1636360000 hasRelatedWork W1877096419 @default.
• W1636360000 hasRelatedWork W1979324214 @default.
• W1636360000 hasRelatedWork W1998220929 @default.
• W1636360000 hasRelatedWork W2029705760 @default.
• W1636360000 hasRelatedWork W2094544397 @default.
• W1636360000 hasRelatedWork W2205798497 @default.
• W1636360000 hasRelatedWork W2298392230 @default.
• W1636360000 hasRelatedWork W2316998098 @default.
• W1636360000 hasRelatedWork W2593738989 @default.
• W1636360000 hasRelatedWork W2734014807 @default.
• W1636360000 hasRelatedWork W2806100514 @default.
• W1636360000 hasRelatedWork W2882677335 @default.
• W1636360000 hasRelatedWork W2911874855 @default.
• W1636360000 hasRelatedWork W2951670568 @default.
• W1636360000 hasRelatedWork W2963903041 @default.
• W1636360000 hasRelatedWork W2994797498 @default.

• next