Matches in SemOpenAlex for { <https://semopenalex.org/work/W4289796181> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4289796181 abstract "We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity; we prove that this - dramatically - is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions." @default.
- W4289796181 created "2022-08-04" @default.
- W4289796181 creator A5001880661 @default.
- W4289796181 creator A5024664299 @default.
- W4289796181 date "2017-01-19" @default.
- W4289796181 modified "2023-09-29" @default.
- W4289796181 title "The Power of Non-Determinism in Higher-Order Implicit Complexity" @default.
- W4289796181 doi "https://doi.org/10.48550/arxiv.1701.05382" @default.
- W4289796181 hasPublicationYear "2017" @default.
- W4289796181 type Work @default.
- W4289796181 citedByCount "0" @default.
- W4289796181 crossrefType "posted-content" @default.
- W4289796181 hasAuthorship W4289796181A5001880661 @default.
- W4289796181 hasAuthorship W4289796181A5024664299 @default.
- W4289796181 hasBestOaLocation W42897961811 @default.
- W4289796181 hasConcept C10138342 @default.
- W4289796181 hasConcept C121332964 @default.
- W4289796181 hasConcept C14036430 @default.
- W4289796181 hasConcept C153269930 @default.
- W4289796181 hasConcept C154945302 @default.
- W4289796181 hasConcept C162324750 @default.
- W4289796181 hasConcept C182306322 @default.
- W4289796181 hasConcept C192183473 @default.
- W4289796181 hasConcept C199360897 @default.
- W4289796181 hasConcept C2777212361 @default.
- W4289796181 hasConcept C31170391 @default.
- W4289796181 hasConcept C34447519 @default.
- W4289796181 hasConcept C41008148 @default.
- W4289796181 hasConcept C62520636 @default.
- W4289796181 hasConcept C78458016 @default.
- W4289796181 hasConcept C80444323 @default.
- W4289796181 hasConcept C86803240 @default.
- W4289796181 hasConcept C9395851 @default.
- W4289796181 hasConceptScore W4289796181C10138342 @default.
- W4289796181 hasConceptScore W4289796181C121332964 @default.
- W4289796181 hasConceptScore W4289796181C14036430 @default.
- W4289796181 hasConceptScore W4289796181C153269930 @default.
- W4289796181 hasConceptScore W4289796181C154945302 @default.
- W4289796181 hasConceptScore W4289796181C162324750 @default.
- W4289796181 hasConceptScore W4289796181C182306322 @default.
- W4289796181 hasConceptScore W4289796181C192183473 @default.
- W4289796181 hasConceptScore W4289796181C199360897 @default.
- W4289796181 hasConceptScore W4289796181C2777212361 @default.
- W4289796181 hasConceptScore W4289796181C31170391 @default.
- W4289796181 hasConceptScore W4289796181C34447519 @default.
- W4289796181 hasConceptScore W4289796181C41008148 @default.
- W4289796181 hasConceptScore W4289796181C62520636 @default.
- W4289796181 hasConceptScore W4289796181C78458016 @default.
- W4289796181 hasConceptScore W4289796181C80444323 @default.
- W4289796181 hasConceptScore W4289796181C86803240 @default.
- W4289796181 hasConceptScore W4289796181C9395851 @default.
- W4289796181 hasLocation W42897961811 @default.
- W4289796181 hasOpenAccess W4289796181 @default.
- W4289796181 hasPrimaryLocation W42897961811 @default.
- W4289796181 hasRelatedWork W1032800 @default.
- W4289796181 hasRelatedWork W12740747 @default.
- W4289796181 hasRelatedWork W13351935 @default.
- W4289796181 hasRelatedWork W2022764 @default.
- W4289796181 hasRelatedWork W2038837 @default.
- W4289796181 hasRelatedWork W3057367 @default.
- W4289796181 hasRelatedWork W637774 @default.
- W4289796181 hasRelatedWork W8680074 @default.
- W4289796181 hasRelatedWork W8970499 @default.
- W4289796181 hasRelatedWork W9594217 @default.
- W4289796181 isParatext "false" @default.
- W4289796181 isRetracted "false" @default.
- W4289796181 workType "article" @default.