Matches in SemOpenAlex for { <https://semopenalex.org/work/W2953383052> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2953383052 abstract "The elementary affine λ-calculus was introduced as a polyvalent setting for implicit computational complexity, allowing for characterizations of polynomial time and hyperexponential time predicates. But these results rely on type fixpoints (a.k.a. recursive types), and it was unknown whether this feature of the type system was really necessary. We give a positive answer by showing that without type fixpoints, we get a characterization of regular languages instead of polynomial time. The proof uses the semantic evaluation method. We also propose an aesthetic improvement on the characterization of the function classes FP and k-FEXPTIME in the presence of recursive types." @default.
- W2953383052 created "2019-06-27" @default.
- W2953383052 creator A5065976105 @default.
- W2953383052 date "2019-06-12" @default.
- W2953383052 modified "2023-10-18" @default.
- W2953383052 title "On the elementary affine λ-calculus with and without type fixpoints" @default.
- W2953383052 hasPublicationYear "2019" @default.
- W2953383052 type Work @default.
- W2953383052 sameAs 2953383052 @default.
- W2953383052 citedByCount "0" @default.
- W2953383052 crossrefType "journal-article" @default.
- W2953383052 hasAuthorship W2953383052A5065976105 @default.
- W2953383052 hasConcept C118615104 @default.
- W2953383052 hasConcept C134306372 @default.
- W2953383052 hasConcept C135790938 @default.
- W2953383052 hasConcept C136119220 @default.
- W2953383052 hasConcept C14036430 @default.
- W2953383052 hasConcept C171250308 @default.
- W2953383052 hasConcept C18903297 @default.
- W2953383052 hasConcept C192562407 @default.
- W2953383052 hasConcept C199343813 @default.
- W2953383052 hasConcept C202444582 @default.
- W2953383052 hasConcept C2777299769 @default.
- W2953383052 hasConcept C2777686260 @default.
- W2953383052 hasConcept C2780841128 @default.
- W2953383052 hasConcept C33923547 @default.
- W2953383052 hasConcept C41008148 @default.
- W2953383052 hasConcept C71924100 @default.
- W2953383052 hasConcept C78458016 @default.
- W2953383052 hasConcept C86803240 @default.
- W2953383052 hasConcept C90119067 @default.
- W2953383052 hasConcept C92757383 @default.
- W2953383052 hasConceptScore W2953383052C118615104 @default.
- W2953383052 hasConceptScore W2953383052C134306372 @default.
- W2953383052 hasConceptScore W2953383052C135790938 @default.
- W2953383052 hasConceptScore W2953383052C136119220 @default.
- W2953383052 hasConceptScore W2953383052C14036430 @default.
- W2953383052 hasConceptScore W2953383052C171250308 @default.
- W2953383052 hasConceptScore W2953383052C18903297 @default.
- W2953383052 hasConceptScore W2953383052C192562407 @default.
- W2953383052 hasConceptScore W2953383052C199343813 @default.
- W2953383052 hasConceptScore W2953383052C202444582 @default.
- W2953383052 hasConceptScore W2953383052C2777299769 @default.
- W2953383052 hasConceptScore W2953383052C2777686260 @default.
- W2953383052 hasConceptScore W2953383052C2780841128 @default.
- W2953383052 hasConceptScore W2953383052C33923547 @default.
- W2953383052 hasConceptScore W2953383052C41008148 @default.
- W2953383052 hasConceptScore W2953383052C71924100 @default.
- W2953383052 hasConceptScore W2953383052C78458016 @default.
- W2953383052 hasConceptScore W2953383052C86803240 @default.
- W2953383052 hasConceptScore W2953383052C90119067 @default.
- W2953383052 hasConceptScore W2953383052C92757383 @default.
- W2953383052 hasLocation W29533830521 @default.
- W2953383052 hasOpenAccess W2953383052 @default.
- W2953383052 hasPrimaryLocation W29533830521 @default.
- W2953383052 hasRelatedWork W1495843174 @default.
- W2953383052 hasRelatedWork W1501048703 @default.
- W2953383052 hasRelatedWork W1604013339 @default.
- W2953383052 hasRelatedWork W1638644615 @default.
- W2953383052 hasRelatedWork W1908505045 @default.
- W2953383052 hasRelatedWork W1987927267 @default.
- W2953383052 hasRelatedWork W2038124839 @default.
- W2953383052 hasRelatedWork W2095636721 @default.
- W2953383052 hasRelatedWork W2124345097 @default.
- W2953383052 hasRelatedWork W2128978634 @default.
- W2953383052 hasRelatedWork W2133014686 @default.
- W2953383052 hasRelatedWork W2293139545 @default.
- W2953383052 hasRelatedWork W2939807911 @default.
- W2953383052 hasRelatedWork W2950299681 @default.
- W2953383052 hasRelatedWork W2951572270 @default.
- W2953383052 hasRelatedWork W2952112679 @default.
- W2953383052 hasRelatedWork W2952230935 @default.
- W2953383052 hasRelatedWork W3000405346 @default.
- W2953383052 hasRelatedWork W15992309 @default.
- W2953383052 hasRelatedWork W2184404033 @default.
- W2953383052 isParatext "false" @default.
- W2953383052 isRetracted "false" @default.
- W2953383052 magId "2953383052" @default.
- W2953383052 workType "article" @default.