Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133292344> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2133292344 abstract "The focus of this thesis is the study of relative definability of first-order boolean functions with respect to the language PCF, a paradigmatic typed, higher-order language based on the simply-typed λ-calculus. The basic core language is sequential. We study the effect of adding construct that embody various notions of parallel execution. The resulting set of equivalence classes with respect to relative definability forms a supsemilattice analoguous to the lattice of degrees in recursion theory. Recent results of Bucciarelli show that the lattice of degrees of parallelism has both infinite chains and infinite antichains. By considering a very simple subset of Sieber’s sequentiality relations, we identify levels in the lattice and derive inexpressiblity results concerning functions on different levels. This allows us to explore further the structure of the lattice of degrees of parallelism and show the existence of new infinite hierarchies. We also identify four subsemilattices of this structure, all characterized by a simple property." @default.
- W2133292344 created "2016-06-24" @default.
- W2133292344 creator A5091462128 @default.
- W2133292344 date "2005-01-01" @default.
- W2133292344 modified "2023-09-27" @default.
- W2133292344 title "INVESTIGATIONS ON RELATIVE DEFINABILITY IN PCF" @default.
- W2133292344 cites W1514119099 @default.
- W2133292344 cites W1531786782 @default.
- W2133292344 cites W1533146526 @default.
- W2133292344 cites W1540927034 @default.
- W2133292344 cites W1543173511 @default.
- W2133292344 cites W1593666219 @default.
- W2133292344 cites W1963626918 @default.
- W2133292344 cites W2007270285 @default.
- W2133292344 cites W2039112578 @default.
- W2133292344 cites W2090873633 @default.
- W2133292344 cites W2119310054 @default.
- W2133292344 cites W2137412911 @default.
- W2133292344 cites W2140622510 @default.
- W2133292344 cites W2148950569 @default.
- W2133292344 cites W2463680238 @default.
- W2133292344 cites W2912512531 @default.
- W2133292344 hasPublicationYear "2005" @default.
- W2133292344 type Work @default.
- W2133292344 sameAs 2133292344 @default.
- W2133292344 citedByCount "1" @default.
- W2133292344 crossrefType "journal-article" @default.
- W2133292344 hasAuthorship W2133292344A5091462128 @default.
- W2133292344 hasConcept C11413529 @default.
- W2133292344 hasConcept C118615104 @default.
- W2133292344 hasConcept C121332964 @default.
- W2133292344 hasConcept C156103551 @default.
- W2133292344 hasConcept C168773036 @default.
- W2133292344 hasConcept C202444582 @default.
- W2133292344 hasConcept C24890656 @default.
- W2133292344 hasConcept C2780069185 @default.
- W2133292344 hasConcept C2781204021 @default.
- W2133292344 hasConcept C33923547 @default.
- W2133292344 hasConcept C41008148 @default.
- W2133292344 hasConceptScore W2133292344C11413529 @default.
- W2133292344 hasConceptScore W2133292344C118615104 @default.
- W2133292344 hasConceptScore W2133292344C121332964 @default.
- W2133292344 hasConceptScore W2133292344C156103551 @default.
- W2133292344 hasConceptScore W2133292344C168773036 @default.
- W2133292344 hasConceptScore W2133292344C202444582 @default.
- W2133292344 hasConceptScore W2133292344C24890656 @default.
- W2133292344 hasConceptScore W2133292344C2780069185 @default.
- W2133292344 hasConceptScore W2133292344C2781204021 @default.
- W2133292344 hasConceptScore W2133292344C33923547 @default.
- W2133292344 hasConceptScore W2133292344C41008148 @default.
- W2133292344 hasLocation W21332923441 @default.
- W2133292344 hasOpenAccess W2133292344 @default.
- W2133292344 hasPrimaryLocation W21332923441 @default.
- W2133292344 hasRelatedWork W127754453 @default.
- W2133292344 hasRelatedWork W1485922216 @default.
- W2133292344 hasRelatedWork W1520244229 @default.
- W2133292344 hasRelatedWork W1545167418 @default.
- W2133292344 hasRelatedWork W167110062 @default.
- W2133292344 hasRelatedWork W1886820163 @default.
- W2133292344 hasRelatedWork W2023101964 @default.
- W2133292344 hasRelatedWork W2049650104 @default.
- W2133292344 hasRelatedWork W2072163715 @default.
- W2133292344 hasRelatedWork W2584778959 @default.
- W2133292344 hasRelatedWork W2600009487 @default.
- W2133292344 hasRelatedWork W2794125871 @default.
- W2133292344 hasRelatedWork W2921801007 @default.
- W2133292344 hasRelatedWork W2951398920 @default.
- W2133292344 hasRelatedWork W3125250027 @default.
- W2133292344 hasRelatedWork W49475005 @default.
- W2133292344 hasRelatedWork W85450016 @default.
- W2133292344 hasRelatedWork W952432298 @default.
- W2133292344 hasRelatedWork W3094347516 @default.
- W2133292344 hasRelatedWork W754101260 @default.
- W2133292344 isParatext "false" @default.
- W2133292344 isRetracted "false" @default.
- W2133292344 magId "2133292344" @default.
- W2133292344 workType "article" @default.