Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295122174> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W4295122174 abstract "We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we set out to characterise the hierarchy NP $subseteq$ NEXP $subseteq$ NEXP$^{(2)}$ $subseteq cdots subseteq$ NEXP$^{(k)}$ $subseteq cdots$ solely in terms of higher-typed, purely functional programs. Although the work is incomplete, we present an initial approach using cons-free programs with immutable functions." @default.
- W4295122174 created "2022-09-10" @default.
- W4295122174 creator A5001880661 @default.
- W4295122174 date "2017-11-09" @default.
- W4295122174 modified "2023-09-26" @default.
- W4295122174 title "Cons-free Programming with Immutable Functions" @default.
- W4295122174 doi "https://doi.org/10.48550/arxiv.1711.03424" @default.
- W4295122174 hasPublicationYear "2017" @default.
- W4295122174 type Work @default.
- W4295122174 citedByCount "0" @default.
- W4295122174 crossrefType "posted-content" @default.
- W4295122174 hasAuthorship W4295122174A5001880661 @default.
- W4295122174 hasBestOaLocation W42951221741 @default.
- W4295122174 hasConcept C136119220 @default.
- W4295122174 hasConcept C162324750 @default.
- W4295122174 hasConcept C177264268 @default.
- W4295122174 hasConcept C199360897 @default.
- W4295122174 hasConcept C202444582 @default.
- W4295122174 hasConcept C31170391 @default.
- W4295122174 hasConcept C33923547 @default.
- W4295122174 hasConcept C34447519 @default.
- W4295122174 hasConcept C41008148 @default.
- W4295122174 hasConceptScore W4295122174C136119220 @default.
- W4295122174 hasConceptScore W4295122174C162324750 @default.
- W4295122174 hasConceptScore W4295122174C177264268 @default.
- W4295122174 hasConceptScore W4295122174C199360897 @default.
- W4295122174 hasConceptScore W4295122174C202444582 @default.
- W4295122174 hasConceptScore W4295122174C31170391 @default.
- W4295122174 hasConceptScore W4295122174C33923547 @default.
- W4295122174 hasConceptScore W4295122174C34447519 @default.
- W4295122174 hasConceptScore W4295122174C41008148 @default.
- W4295122174 hasLocation W42951221741 @default.
- W4295122174 hasOpenAccess W4295122174 @default.
- W4295122174 hasPrimaryLocation W42951221741 @default.
- W4295122174 hasRelatedWork W1989920940 @default.
- W4295122174 hasRelatedWork W2133497138 @default.
- W4295122174 hasRelatedWork W2742285599 @default.
- W4295122174 hasRelatedWork W2843614064 @default.
- W4295122174 hasRelatedWork W2963103437 @default.
- W4295122174 hasRelatedWork W2963341196 @default.
- W4295122174 hasRelatedWork W2964202745 @default.
- W4295122174 hasRelatedWork W3099641547 @default.
- W4295122174 hasRelatedWork W3124205579 @default.
- W4295122174 hasRelatedWork W4249580765 @default.
- W4295122174 isParatext "false" @default.
- W4295122174 isRetracted "false" @default.
- W4295122174 workType "article" @default.