Matches in SemOpenAlex for { <https://semopenalex.org/work/W2969355324> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2969355324 abstract "Abstract In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections." @default.
- W2969355324 created "2019-08-29" @default.
- W2969355324 creator A5050588876 @default.
- W2969355324 creator A5081807548 @default.
- W2969355324 date "2019-08-01" @default.
- W2969355324 modified "2023-09-24" @default.
- W2969355324 title "Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types" @default.
- W2969355324 cites W1494407580 @default.
- W2969355324 cites W1550462199 @default.
- W2969355324 cites W1596346405 @default.
- W2969355324 cites W161800829 @default.
- W2969355324 cites W1664039672 @default.
- W2969355324 cites W1976958863 @default.
- W2969355324 cites W1991670662 @default.
- W2969355324 cites W2006005127 @default.
- W2969355324 cites W2016076634 @default.
- W2969355324 cites W2036947136 @default.
- W2969355324 cites W2037135838 @default.
- W2969355324 cites W2056253254 @default.
- W2969355324 cites W2085670481 @default.
- W2969355324 cites W2098607593 @default.
- W2969355324 cites W2123414912 @default.
- W2969355324 cites W2267324769 @default.
- W2969355324 cites W2329205359 @default.
- W2969355324 cites W2561623690 @default.
- W2969355324 cites W2742413387 @default.
- W2969355324 cites W2751123017 @default.
- W2969355324 cites W2885071965 @default.
- W2969355324 cites W2885708795 @default.
- W2969355324 cites W785213887 @default.
- W2969355324 doi "https://doi.org/10.1016/j.entcs.2019.07.003" @default.
- W2969355324 hasPublicationYear "2019" @default.
- W2969355324 type Work @default.
- W2969355324 sameAs 2969355324 @default.
- W2969355324 citedByCount "0" @default.
- W2969355324 crossrefType "journal-article" @default.
- W2969355324 hasAuthorship W2969355324A5050588876 @default.
- W2969355324 hasAuthorship W2969355324A5081807548 @default.
- W2969355324 hasBestOaLocation W29693553241 @default.
- W2969355324 hasConcept C114614502 @default.
- W2969355324 hasConcept C138885662 @default.
- W2969355324 hasConcept C164226766 @default.
- W2969355324 hasConcept C18903297 @default.
- W2969355324 hasConcept C204321447 @default.
- W2969355324 hasConcept C205649164 @default.
- W2969355324 hasConcept C26022165 @default.
- W2969355324 hasConcept C2777299769 @default.
- W2969355324 hasConcept C33923547 @default.
- W2969355324 hasConcept C41008148 @default.
- W2969355324 hasConcept C41895202 @default.
- W2969355324 hasConcept C53893814 @default.
- W2969355324 hasConcept C58640448 @default.
- W2969355324 hasConcept C64543145 @default.
- W2969355324 hasConcept C86803240 @default.
- W2969355324 hasConceptScore W2969355324C114614502 @default.
- W2969355324 hasConceptScore W2969355324C138885662 @default.
- W2969355324 hasConceptScore W2969355324C164226766 @default.
- W2969355324 hasConceptScore W2969355324C18903297 @default.
- W2969355324 hasConceptScore W2969355324C204321447 @default.
- W2969355324 hasConceptScore W2969355324C205649164 @default.
- W2969355324 hasConceptScore W2969355324C26022165 @default.
- W2969355324 hasConceptScore W2969355324C2777299769 @default.
- W2969355324 hasConceptScore W2969355324C33923547 @default.
- W2969355324 hasConceptScore W2969355324C41008148 @default.
- W2969355324 hasConceptScore W2969355324C41895202 @default.
- W2969355324 hasConceptScore W2969355324C53893814 @default.
- W2969355324 hasConceptScore W2969355324C58640448 @default.
- W2969355324 hasConceptScore W2969355324C64543145 @default.
- W2969355324 hasConceptScore W2969355324C86803240 @default.
- W2969355324 hasFunder F4320335191 @default.
- W2969355324 hasLocation W29693553241 @default.
- W2969355324 hasOpenAccess W2969355324 @default.
- W2969355324 hasPrimaryLocation W29693553241 @default.
- W2969355324 hasRelatedWork W10507999 @default.
- W2969355324 hasRelatedWork W10639528 @default.
- W2969355324 hasRelatedWork W12384644 @default.
- W2969355324 hasRelatedWork W3313028 @default.
- W2969355324 hasRelatedWork W5318047 @default.
- W2969355324 hasRelatedWork W5848937 @default.
- W2969355324 hasRelatedWork W6485103 @default.
- W2969355324 hasRelatedWork W7518496 @default.
- W2969355324 hasRelatedWork W9266080 @default.
- W2969355324 hasRelatedWork W9494735 @default.
- W2969355324 isParatext "false" @default.
- W2969355324 isRetracted "false" @default.
- W2969355324 magId "2969355324" @default.
- W2969355324 workType "article" @default.