Matches in SemOpenAlex for { <https://semopenalex.org/work/W1725385524> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1725385524 abstract "In this thesis we study models of partial combinatory algebras and we aim to construct new examples. Mainly, the sets of representable functions of these models and their connections to topology are explored. One famous example is Scott’s Graph model, which can simulate the untyped lambda calculus. Using a theorem by Jaap van Oosten, we study an extension of this Graph Model in which the complement function is representable. This new model is decidable. Relations with other models yield two more decidable extensions, with interesting categorical properties. Additionally, a model is constructed that has a connection to the Cantor topology, and a model is made using the power set of another model." @default.
- W1725385524 created "2016-06-24" @default.
- W1725385524 creator A5058385346 @default.
- W1725385524 date "2015-09-10" @default.
- W1725385524 modified "2023-09-27" @default.
- W1725385524 title "On constructions of partial combinatory algebras and their relation to topology" @default.
- W1725385524 cites W104853290 @default.
- W1725385524 cites W159082583 @default.
- W1725385524 cites W1605765292 @default.
- W1725385524 cites W1763978647 @default.
- W1725385524 cites W1990564510 @default.
- W1725385524 cites W2043566933 @default.
- W1725385524 cites W2100490097 @default.
- W1725385524 cites W2103244827 @default.
- W1725385524 cites W2291208220 @default.
- W1725385524 cites W2402288139 @default.
- W1725385524 cites W2594284570 @default.
- W1725385524 hasPublicationYear "2015" @default.
- W1725385524 type Work @default.
- W1725385524 sameAs 1725385524 @default.
- W1725385524 citedByCount "0" @default.
- W1725385524 crossrefType "dissertation" @default.
- W1725385524 hasAuthorship W1725385524A5058385346 @default.
- W1725385524 hasConcept C104317684 @default.
- W1725385524 hasConcept C112313634 @default.
- W1725385524 hasConcept C114614502 @default.
- W1725385524 hasConcept C118615104 @default.
- W1725385524 hasConcept C127716648 @default.
- W1725385524 hasConcept C132525143 @default.
- W1725385524 hasConcept C153269930 @default.
- W1725385524 hasConcept C184720557 @default.
- W1725385524 hasConcept C185592680 @default.
- W1725385524 hasConcept C188082640 @default.
- W1725385524 hasConcept C199360897 @default.
- W1725385524 hasConcept C2778029271 @default.
- W1725385524 hasConcept C33923547 @default.
- W1725385524 hasConcept C41008148 @default.
- W1725385524 hasConcept C55493867 @default.
- W1725385524 hasConceptScore W1725385524C104317684 @default.
- W1725385524 hasConceptScore W1725385524C112313634 @default.
- W1725385524 hasConceptScore W1725385524C114614502 @default.
- W1725385524 hasConceptScore W1725385524C118615104 @default.
- W1725385524 hasConceptScore W1725385524C127716648 @default.
- W1725385524 hasConceptScore W1725385524C132525143 @default.
- W1725385524 hasConceptScore W1725385524C153269930 @default.
- W1725385524 hasConceptScore W1725385524C184720557 @default.
- W1725385524 hasConceptScore W1725385524C185592680 @default.
- W1725385524 hasConceptScore W1725385524C188082640 @default.
- W1725385524 hasConceptScore W1725385524C199360897 @default.
- W1725385524 hasConceptScore W1725385524C2778029271 @default.
- W1725385524 hasConceptScore W1725385524C33923547 @default.
- W1725385524 hasConceptScore W1725385524C41008148 @default.
- W1725385524 hasConceptScore W1725385524C55493867 @default.
- W1725385524 hasLocation W17253855241 @default.
- W1725385524 hasOpenAccess W1725385524 @default.
- W1725385524 hasPrimaryLocation W17253855241 @default.
- W1725385524 hasRelatedWork W1507775605 @default.
- W1725385524 hasRelatedWork W1551355180 @default.
- W1725385524 hasRelatedWork W1596140841 @default.
- W1725385524 hasRelatedWork W1971226702 @default.
- W1725385524 hasRelatedWork W2038472629 @default.
- W1725385524 hasRelatedWork W2077631596 @default.
- W1725385524 hasRelatedWork W2143440857 @default.
- W1725385524 hasRelatedWork W2233012465 @default.
- W1725385524 hasRelatedWork W2255032101 @default.
- W1725385524 hasRelatedWork W2582869388 @default.
- W1725385524 hasRelatedWork W2620943101 @default.
- W1725385524 hasRelatedWork W2949891779 @default.
- W1725385524 hasRelatedWork W3036305938 @default.
- W1725385524 hasRelatedWork W3037426097 @default.
- W1725385524 hasRelatedWork W3099647140 @default.
- W1725385524 hasRelatedWork W3104007542 @default.
- W1725385524 hasRelatedWork W3127150989 @default.
- W1725385524 hasRelatedWork W3157360685 @default.
- W1725385524 hasRelatedWork W3171389437 @default.
- W1725385524 hasRelatedWork W3196242797 @default.
- W1725385524 isParatext "false" @default.
- W1725385524 isRetracted "false" @default.
- W1725385524 magId "1725385524" @default.
- W1725385524 workType "dissertation" @default.