Matches in SemOpenAlex for { <https://semopenalex.org/work/W2799398422> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2799398422 abstract "Abstract We model non-deterministic effects for Turing computability by working in the assemblies of Kleene's first partial combinatory algebra. Two methods will be discussed, one using equivalence relations on trees and one using topological descriptions of powerdomains. We describe these models for a selection of non-deterministic paradigms: angelic, demonic, convex and probabilistic. Though the first approach has a connection to traditional non-deterministic computability, the second approach works better for combining non-determinism with recursion. We establish morphisms from the tree models to the powerdomain models, which are bijective at ground type and give isomorphisms for all but the demonic case. We also see that any of the powerdomain models can be interpreted as a sub-monad of a continuation monad." @default.
- W2799398422 created "2018-05-17" @default.
- W2799398422 creator A5058385346 @default.
- W2799398422 date "2018-04-01" @default.
- W2799398422 modified "2023-10-17" @default.
- W2799398422 title "Non-deterministic Effects in a Realizability Model" @default.
- W2799398422 cites W1574049752 @default.
- W2799398422 cites W1606211906 @default.
- W2799398422 cites W1989069191 @default.
- W2799398422 cites W2043199778 @default.
- W2799398422 cites W2062024564 @default.
- W2799398422 cites W2086061699 @default.
- W2799398422 cites W4213381987 @default.
- W2799398422 doi "https://doi.org/10.1016/j.entcs.2018.03.029" @default.
- W2799398422 hasPublicationYear "2018" @default.
- W2799398422 type Work @default.
- W2799398422 sameAs 2799398422 @default.
- W2799398422 citedByCount "1" @default.
- W2799398422 countsByYear W27993984222021 @default.
- W2799398422 crossrefType "journal-article" @default.
- W2799398422 hasAuthorship W2799398422A5058385346 @default.
- W2799398422 hasBestOaLocation W27993984221 @default.
- W2799398422 hasConcept C11413529 @default.
- W2799398422 hasConcept C118615104 @default.
- W2799398422 hasConcept C13355873 @default.
- W2799398422 hasConcept C136119220 @default.
- W2799398422 hasConcept C137212723 @default.
- W2799398422 hasConcept C152062344 @default.
- W2799398422 hasConcept C156772000 @default.
- W2799398422 hasConcept C168773036 @default.
- W2799398422 hasConcept C202444582 @default.
- W2799398422 hasConcept C2524010 @default.
- W2799398422 hasConcept C2776378722 @default.
- W2799398422 hasConcept C2777573902 @default.
- W2799398422 hasConcept C2780069185 @default.
- W2799398422 hasConcept C33923547 @default.
- W2799398422 hasConcept C33959348 @default.
- W2799398422 hasConcept C41008148 @default.
- W2799398422 hasConceptScore W2799398422C11413529 @default.
- W2799398422 hasConceptScore W2799398422C118615104 @default.
- W2799398422 hasConceptScore W2799398422C13355873 @default.
- W2799398422 hasConceptScore W2799398422C136119220 @default.
- W2799398422 hasConceptScore W2799398422C137212723 @default.
- W2799398422 hasConceptScore W2799398422C152062344 @default.
- W2799398422 hasConceptScore W2799398422C156772000 @default.
- W2799398422 hasConceptScore W2799398422C168773036 @default.
- W2799398422 hasConceptScore W2799398422C202444582 @default.
- W2799398422 hasConceptScore W2799398422C2524010 @default.
- W2799398422 hasConceptScore W2799398422C2776378722 @default.
- W2799398422 hasConceptScore W2799398422C2777573902 @default.
- W2799398422 hasConceptScore W2799398422C2780069185 @default.
- W2799398422 hasConceptScore W2799398422C33923547 @default.
- W2799398422 hasConceptScore W2799398422C33959348 @default.
- W2799398422 hasConceptScore W2799398422C41008148 @default.
- W2799398422 hasFunder F4320332467 @default.
- W2799398422 hasLocation W27993984221 @default.
- W2799398422 hasOpenAccess W2799398422 @default.
- W2799398422 hasPrimaryLocation W27993984221 @default.
- W2799398422 hasRelatedWork W1588651729 @default.
- W2799398422 hasRelatedWork W1967406295 @default.
- W2799398422 hasRelatedWork W2014848011 @default.
- W2799398422 hasRelatedWork W2055390302 @default.
- W2799398422 hasRelatedWork W2097270855 @default.
- W2799398422 hasRelatedWork W2153577968 @default.
- W2799398422 hasRelatedWork W2167502656 @default.
- W2799398422 hasRelatedWork W2408342377 @default.
- W2799398422 hasRelatedWork W2513421427 @default.
- W2799398422 hasRelatedWork W2605690278 @default.
- W2799398422 hasRelatedWork W2797487912 @default.
- W2799398422 hasRelatedWork W2911874855 @default.
- W2799398422 hasRelatedWork W2919673720 @default.
- W2799398422 hasRelatedWork W2951670568 @default.
- W2799398422 hasRelatedWork W2963903041 @default.
- W2799398422 hasRelatedWork W3024835838 @default.
- W2799398422 hasRelatedWork W3098820335 @default.
- W2799398422 hasRelatedWork W3121572647 @default.
- W2799398422 hasRelatedWork W3170987380 @default.
- W2799398422 hasRelatedWork W3199468696 @default.
- W2799398422 isParatext "false" @default.
- W2799398422 isRetracted "false" @default.
- W2799398422 magId "2799398422" @default.
- W2799398422 workType "article" @default.