Matches in SemOpenAlex for { <https://semopenalex.org/work/W2742413387> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2742413387 endingPage "12" @default.
- W2742413387 startingPage "1" @default.
- W2742413387 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.
- W2742413387 created "2017-08-17" @default.
- W2742413387 creator A5017299598 @default.
- W2742413387 creator A5081497785 @default.
- W2742413387 date "2017-06-20" @default.
- W2742413387 modified "2023-09-23" @default.
- W2742413387 title "Typability in bounded dimension" @default.
- W2742413387 cites W115606789 @default.
- W2742413387 cites W1585533089 @default.
- W2742413387 cites W1596346405 @default.
- W2742413387 cites W1820813196 @default.
- W2742413387 cites W1970227944 @default.
- W2742413387 cites W2044758536 @default.
- W2742413387 cites W2056253254 @default.
- W2742413387 cites W2072881702 @default.
- W2742413387 cites W2085670481 @default.
- W2742413387 cites W2099162225 @default.
- W2742413387 cites W2103196544 @default.
- W2742413387 cites W2119240423 @default.
- W2742413387 cites W2119756648 @default.
- W2742413387 cites W2154273644 @default.
- W2742413387 cites W2196653126 @default.
- W2742413387 cites W2246934006 @default.
- W2742413387 cites W2397104327 @default.
- W2742413387 cites W2561623690 @default.
- W2742413387 doi "https://doi.org/10.5555/3329995.3330062" @default.
- W2742413387 hasPublicationYear "2017" @default.
- W2742413387 type Work @default.
- W2742413387 sameAs 2742413387 @default.
- W2742413387 citedByCount "2" @default.
- W2742413387 countsByYear W27424133872019 @default.
- W2742413387 crossrefType "proceedings-article" @default.
- W2742413387 hasAuthorship W2742413387A5017299598 @default.
- W2742413387 hasAuthorship W2742413387A5081497785 @default.
- W2742413387 hasConcept C111472728 @default.
- W2742413387 hasConcept C114614502 @default.
- W2742413387 hasConcept C118615104 @default.
- W2742413387 hasConcept C127413603 @default.
- W2742413387 hasConcept C134306372 @default.
- W2742413387 hasConcept C138885662 @default.
- W2742413387 hasConcept C146978453 @default.
- W2742413387 hasConcept C153269930 @default.
- W2742413387 hasConcept C176181172 @default.
- W2742413387 hasConcept C189950617 @default.
- W2742413387 hasConcept C192034797 @default.
- W2742413387 hasConcept C33923547 @default.
- W2742413387 hasConcept C34388435 @default.
- W2742413387 hasConcept C64543145 @default.
- W2742413387 hasConceptScore W2742413387C111472728 @default.
- W2742413387 hasConceptScore W2742413387C114614502 @default.
- W2742413387 hasConceptScore W2742413387C118615104 @default.
- W2742413387 hasConceptScore W2742413387C127413603 @default.
- W2742413387 hasConceptScore W2742413387C134306372 @default.
- W2742413387 hasConceptScore W2742413387C138885662 @default.
- W2742413387 hasConceptScore W2742413387C146978453 @default.
- W2742413387 hasConceptScore W2742413387C153269930 @default.
- W2742413387 hasConceptScore W2742413387C176181172 @default.
- W2742413387 hasConceptScore W2742413387C189950617 @default.
- W2742413387 hasConceptScore W2742413387C192034797 @default.
- W2742413387 hasConceptScore W2742413387C33923547 @default.
- W2742413387 hasConceptScore W2742413387C34388435 @default.
- W2742413387 hasConceptScore W2742413387C64543145 @default.
- W2742413387 hasLocation W27424133871 @default.
- W2742413387 hasOpenAccess W2742413387 @default.
- W2742413387 hasPrimaryLocation W27424133871 @default.
- W2742413387 hasRelatedWork W1523699442 @default.
- W2742413387 hasRelatedWork W1524879434 @default.
- W2742413387 hasRelatedWork W1599832610 @default.
- W2742413387 hasRelatedWork W1649098425 @default.
- W2742413387 hasRelatedWork W2000644799 @default.
- W2742413387 hasRelatedWork W2017253753 @default.
- W2742413387 hasRelatedWork W2064113986 @default.
- W2742413387 hasRelatedWork W2121683501 @default.
- W2742413387 hasRelatedWork W2169150716 @default.
- W2742413387 hasRelatedWork W2561623690 @default.
- W2742413387 hasRelatedWork W2579968970 @default.
- W2742413387 hasRelatedWork W2780386393 @default.
- W2742413387 hasRelatedWork W2788272802 @default.
- W2742413387 hasRelatedWork W2903809398 @default.
- W2742413387 hasRelatedWork W2948267232 @default.
- W2742413387 hasRelatedWork W3002360326 @default.
- W2742413387 hasRelatedWork W3034283349 @default.
- W2742413387 hasRelatedWork W3103518965 @default.
- W2742413387 hasRelatedWork W3112488263 @default.
- W2742413387 hasRelatedWork W312307718 @default.
- W2742413387 isParatext "false" @default.
- W2742413387 isRetracted "false" @default.
- W2742413387 magId "2742413387" @default.
- W2742413387 workType "article" @default.