Matches in SemOpenAlex for { <https://semopenalex.org/work/W4237646746> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4237646746 abstract "Recently (authors, POPL 2017), a notion of dimensionality for intersection types was introduced, and it was shown that the bounded-dimensional inhabitation problem is decidable under a non-idempotent interpretation of intersection and undecidable in the standard set-theoretic model. In this paper we study the typability problem for bounded-dimensional intersection types and prove that the problem is decidable in both models. We establish a number of bounding principles depending on dimension. In particular, it is shown that dimensional bound on derivations gives rise to a bounded width property on types, which is related to a generalized subformula property for typings of arbitrary terms. Using the bounded width property we can construct a nondeterministic transformation of the typability problem to unification, and we prove that typability in the set-theoretic model is PSPACE-complete, whereas it is in NP in the multiset model." @default.
- W4237646746 created "2022-05-12" @default.
- W4237646746 creator A5017299598 @default.
- W4237646746 creator A5081497785 @default.
- W4237646746 date "2017-06-01" @default.
- W4237646746 modified "2023-09-30" @default.
- W4237646746 title "Typability in bounded dimension" @default.
- W4237646746 cites W115606789 @default.
- W4237646746 cites W1596346405 @default.
- W4237646746 cites W1970227944 @default.
- W4237646746 cites W2056253254 @default.
- W4237646746 cites W2072881702 @default.
- W4237646746 cites W207411393 @default.
- W4237646746 cites W2085670481 @default.
- W4237646746 cites W2119240423 @default.
- W4237646746 cites W2119756648 @default.
- W4237646746 cites W2196653126 @default.
- W4237646746 cites W2214437647 @default.
- W4237646746 cites W2561623690 @default.
- W4237646746 cites W4239310085 @default.
- W4237646746 doi "https://doi.org/10.1109/lics.2017.8005127" @default.
- W4237646746 hasPublicationYear "2017" @default.
- W4237646746 type Work @default.
- W4237646746 citedByCount "1" @default.
- W4237646746 countsByYear W42376467462019 @default.
- W4237646746 crossrefType "proceedings-article" @default.
- W4237646746 hasAuthorship W4237646746A5017299598 @default.
- W4237646746 hasAuthorship W4237646746A5081497785 @default.
- W4237646746 hasConcept C111472728 @default.
- W4237646746 hasConcept C114614502 @default.
- W4237646746 hasConcept C118615104 @default.
- W4237646746 hasConcept C127413603 @default.
- W4237646746 hasConcept C134306372 @default.
- W4237646746 hasConcept C138885662 @default.
- W4237646746 hasConcept C146978453 @default.
- W4237646746 hasConcept C153269930 @default.
- W4237646746 hasConcept C176181172 @default.
- W4237646746 hasConcept C189950617 @default.
- W4237646746 hasConcept C192034797 @default.
- W4237646746 hasConcept C33676613 @default.
- W4237646746 hasConcept C33923547 @default.
- W4237646746 hasConcept C34388435 @default.
- W4237646746 hasConcept C64543145 @default.
- W4237646746 hasConceptScore W4237646746C111472728 @default.
- W4237646746 hasConceptScore W4237646746C114614502 @default.
- W4237646746 hasConceptScore W4237646746C118615104 @default.
- W4237646746 hasConceptScore W4237646746C127413603 @default.
- W4237646746 hasConceptScore W4237646746C134306372 @default.
- W4237646746 hasConceptScore W4237646746C138885662 @default.
- W4237646746 hasConceptScore W4237646746C146978453 @default.
- W4237646746 hasConceptScore W4237646746C153269930 @default.
- W4237646746 hasConceptScore W4237646746C176181172 @default.
- W4237646746 hasConceptScore W4237646746C189950617 @default.
- W4237646746 hasConceptScore W4237646746C192034797 @default.
- W4237646746 hasConceptScore W4237646746C33676613 @default.
- W4237646746 hasConceptScore W4237646746C33923547 @default.
- W4237646746 hasConceptScore W4237646746C34388435 @default.
- W4237646746 hasConceptScore W4237646746C64543145 @default.
- W4237646746 hasLocation W42376467461 @default.
- W4237646746 hasOpenAccess W4237646746 @default.
- W4237646746 hasPrimaryLocation W42376467461 @default.
- W4237646746 hasRelatedWork W125054192 @default.
- W4237646746 hasRelatedWork W1758564903 @default.
- W4237646746 hasRelatedWork W1996177377 @default.
- W4237646746 hasRelatedWork W2034018160 @default.
- W4237646746 hasRelatedWork W2037204124 @default.
- W4237646746 hasRelatedWork W2529633050 @default.
- W4237646746 hasRelatedWork W2604798101 @default.
- W4237646746 hasRelatedWork W2980966835 @default.
- W4237646746 hasRelatedWork W3021255478 @default.
- W4237646746 hasRelatedWork W2181845141 @default.
- W4237646746 isParatext "false" @default.
- W4237646746 isRetracted "false" @default.
- W4237646746 workType "article" @default.