Matches in SemOpenAlex for { <https://semopenalex.org/work/W2288082802> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2288082802 startingPage "258" @default.
- W2288082802 abstract "In combinatory logic one usually assumes a fixed set of basic combinators (axiom schemes), usually K and S. In this setting the set of provable formulas (inhabited types) is PSPACE-complete in simple types and undecidable in intersection types. When arbitrary sets of axiom schemes are considered, the inhabitation problem is undecidable even in simple types (this is known as Linial-Post theorem).k-bounded combinatory logic with intersection types arises from combinatory logic by imposing the bound k on the depth of types (formulae) which may be substituted for type variables in axiom schemes. We consider the inhabitation (provability) problem for k-bounded combinatory logic: Given an arbitrary set of typed combinators and a type tau, is there a combinatory term of type tau in k-bounded combinatory logic?Our main result is that the problem is (k+2)-EXPTIME complete for k-bounded combinatory logic with intersection types, for every fixed k(and hence non-elementary when k is a parameter). We also show that the problem is EXPTIME-complete for simple types, for all k.Theoretically, our results give new insight into the expressive power of intersection types. From an application perspective, our results are useful as a foundation for composition synthesis based on combinatory logic." @default.
- W2288082802 created "2016-06-24" @default.
- W2288082802 creator A5005216969 @default.
- W2288082802 creator A5081098905 @default.
- W2288082802 creator A5081497785 @default.
- W2288082802 creator A5090514298 @default.
- W2288082802 date "2012-01-01" @default.
- W2288082802 modified "2023-09-23" @default.
- W2288082802 title "Bounded Combinatory Logic" @default.
- W2288082802 cites W119929114 @default.
- W2288082802 cites W1921642287 @default.
- W2288082802 cites W1970227944 @default.
- W2288082802 cites W1991670662 @default.
- W2288082802 cites W2077588210 @default.
- W2288082802 cites W2080581033 @default.
- W2288082802 cites W2101085206 @default.
- W2288082802 cites W2110797966 @default.
- W2288082802 cites W2603249364 @default.
- W2288082802 doi "https://doi.org/10.4230/lipics.csl.2012.243" @default.
- W2288082802 hasPublicationYear "2012" @default.
- W2288082802 type Work @default.
- W2288082802 sameAs 2288082802 @default.
- W2288082802 citedByCount "6" @default.
- W2288082802 countsByYear W22880828022013 @default.
- W2288082802 countsByYear W22880828022015 @default.
- W2288082802 countsByYear W22880828022016 @default.
- W2288082802 countsByYear W22880828022019 @default.
- W2288082802 crossrefType "proceedings-article" @default.
- W2288082802 hasAuthorship W2288082802A5005216969 @default.
- W2288082802 hasAuthorship W2288082802A5081098905 @default.
- W2288082802 hasAuthorship W2288082802A5081497785 @default.
- W2288082802 hasAuthorship W2288082802A5090514298 @default.
- W2288082802 hasConcept C111472728 @default.
- W2288082802 hasConcept C118615104 @default.
- W2288082802 hasConcept C127413603 @default.
- W2288082802 hasConcept C134306372 @default.
- W2288082802 hasConcept C138885662 @default.
- W2288082802 hasConcept C146978453 @default.
- W2288082802 hasConcept C153269930 @default.
- W2288082802 hasConcept C167729594 @default.
- W2288082802 hasConcept C18903297 @default.
- W2288082802 hasConcept C192034797 @default.
- W2288082802 hasConcept C199360897 @default.
- W2288082802 hasConcept C2524010 @default.
- W2288082802 hasConcept C2777299769 @default.
- W2288082802 hasConcept C2780586882 @default.
- W2288082802 hasConcept C33923547 @default.
- W2288082802 hasConcept C34388435 @default.
- W2288082802 hasConcept C41008148 @default.
- W2288082802 hasConcept C64543145 @default.
- W2288082802 hasConcept C79678938 @default.
- W2288082802 hasConcept C86803240 @default.
- W2288082802 hasConceptScore W2288082802C111472728 @default.
- W2288082802 hasConceptScore W2288082802C118615104 @default.
- W2288082802 hasConceptScore W2288082802C127413603 @default.
- W2288082802 hasConceptScore W2288082802C134306372 @default.
- W2288082802 hasConceptScore W2288082802C138885662 @default.
- W2288082802 hasConceptScore W2288082802C146978453 @default.
- W2288082802 hasConceptScore W2288082802C153269930 @default.
- W2288082802 hasConceptScore W2288082802C167729594 @default.
- W2288082802 hasConceptScore W2288082802C18903297 @default.
- W2288082802 hasConceptScore W2288082802C192034797 @default.
- W2288082802 hasConceptScore W2288082802C199360897 @default.
- W2288082802 hasConceptScore W2288082802C2524010 @default.
- W2288082802 hasConceptScore W2288082802C2777299769 @default.
- W2288082802 hasConceptScore W2288082802C2780586882 @default.
- W2288082802 hasConceptScore W2288082802C33923547 @default.
- W2288082802 hasConceptScore W2288082802C34388435 @default.
- W2288082802 hasConceptScore W2288082802C41008148 @default.
- W2288082802 hasConceptScore W2288082802C64543145 @default.
- W2288082802 hasConceptScore W2288082802C79678938 @default.
- W2288082802 hasConceptScore W2288082802C86803240 @default.
- W2288082802 hasLocation W22880828021 @default.
- W2288082802 hasOpenAccess W2288082802 @default.
- W2288082802 hasPrimaryLocation W22880828021 @default.
- W2288082802 hasRelatedWork W115606789 @default.
- W2288082802 hasRelatedWork W1544048926 @default.
- W2288082802 hasRelatedWork W1606955662 @default.
- W2288082802 hasRelatedWork W1970227944 @default.
- W2288082802 hasRelatedWork W2029408547 @default.
- W2288082802 hasRelatedWork W2033075656 @default.
- W2288082802 hasRelatedWork W2040640762 @default.
- W2288082802 hasRelatedWork W2047674711 @default.
- W2288082802 hasRelatedWork W2095943001 @default.
- W2288082802 hasRelatedWork W2098086155 @default.
- W2288082802 hasRelatedWork W2101085206 @default.
- W2288082802 hasRelatedWork W2112863615 @default.
- W2288082802 hasRelatedWork W21463807 @default.
- W2288082802 hasRelatedWork W2151452053 @default.
- W2288082802 hasRelatedWork W2178865018 @default.
- W2288082802 hasRelatedWork W2196653126 @default.
- W2288082802 hasRelatedWork W2934959668 @default.
- W2288082802 hasRelatedWork W2963855884 @default.
- W2288082802 hasRelatedWork W3020532926 @default.
- W2288082802 hasRelatedWork W49615274 @default.
- W2288082802 isParatext "false" @default.
- W2288082802 isRetracted "false" @default.
- W2288082802 magId "2288082802" @default.
- W2288082802 workType "article" @default.