Matches in SemOpenAlex for { <https://semopenalex.org/work/W2784689838> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2784689838 abstract "Recent works by Asada, Ong and Tsukada have championed a rigid description of resources. Whereas in non-rigid paradigms (e.g., standard Taylor expansion or non-idempotent intersection types), bags of resources are multisets and invariant under permutation, in the rigid ones, permutations must be processed explicitly and can be allowed or disallowed. Rigidity enables a fine-grained control of reduction paths and their effects on e.g., typing derivations. We previously introduced a very constrained coinductive type system (system S) in which permutation is completely disallowed. One may wonder in what extent the absence of permutations causes a loss of expressivity w.r.t. reduction paths, compared to a usual multiset framework or a rigid one allowing permutations. We answer this question in the most general case i.e. coinductive type grammars without validity conditions. Our main contribution is to prove that not only every non-idempotent derivation can be represented by a rigid, permutation-free derivation, but also that any dynamic behavior may be captured in this way. In other words, we prove that system S has full expressive power over multiset/permutation-inclusive intersection." @default.
- W2784689838 created "2018-02-02" @default.
- W2784689838 creator A5076180903 @default.
- W2784689838 date "2016-10-20" @default.
- W2784689838 modified "2023-09-27" @default.
- W2784689838 title "Representing permutations without permutations, or the expressive power of sequence types" @default.
- W2784689838 cites W1496335730 @default.
- W2784689838 cites W151990118 @default.
- W2784689838 cites W2085670481 @default.
- W2784689838 cites W2744716545 @default.
- W2784689838 cites W2745003672 @default.
- W2784689838 cites W2760585651 @default.
- W2784689838 hasPublicationYear "2016" @default.
- W2784689838 type Work @default.
- W2784689838 sameAs 2784689838 @default.
- W2784689838 citedByCount "0" @default.
- W2784689838 crossrefType "posted-content" @default.
- W2784689838 hasAuthorship W2784689838A5076180903 @default.
- W2784689838 hasConcept C108710211 @default.
- W2784689838 hasConcept C114614502 @default.
- W2784689838 hasConcept C118615104 @default.
- W2784689838 hasConcept C121332964 @default.
- W2784689838 hasConcept C127413603 @default.
- W2784689838 hasConcept C146978453 @default.
- W2784689838 hasConcept C172252984 @default.
- W2784689838 hasConcept C18903297 @default.
- W2784689838 hasConcept C190470478 @default.
- W2784689838 hasConcept C21308566 @default.
- W2784689838 hasConcept C24890656 @default.
- W2784689838 hasConcept C2524010 @default.
- W2784689838 hasConcept C2777299769 @default.
- W2784689838 hasConcept C2778112365 @default.
- W2784689838 hasConcept C2779623528 @default.
- W2784689838 hasConcept C33923547 @default.
- W2784689838 hasConcept C37914503 @default.
- W2784689838 hasConcept C40220748 @default.
- W2784689838 hasConcept C54355233 @default.
- W2784689838 hasConcept C64543145 @default.
- W2784689838 hasConcept C86803240 @default.
- W2784689838 hasConceptScore W2784689838C108710211 @default.
- W2784689838 hasConceptScore W2784689838C114614502 @default.
- W2784689838 hasConceptScore W2784689838C118615104 @default.
- W2784689838 hasConceptScore W2784689838C121332964 @default.
- W2784689838 hasConceptScore W2784689838C127413603 @default.
- W2784689838 hasConceptScore W2784689838C146978453 @default.
- W2784689838 hasConceptScore W2784689838C172252984 @default.
- W2784689838 hasConceptScore W2784689838C18903297 @default.
- W2784689838 hasConceptScore W2784689838C190470478 @default.
- W2784689838 hasConceptScore W2784689838C21308566 @default.
- W2784689838 hasConceptScore W2784689838C24890656 @default.
- W2784689838 hasConceptScore W2784689838C2524010 @default.
- W2784689838 hasConceptScore W2784689838C2777299769 @default.
- W2784689838 hasConceptScore W2784689838C2778112365 @default.
- W2784689838 hasConceptScore W2784689838C2779623528 @default.
- W2784689838 hasConceptScore W2784689838C33923547 @default.
- W2784689838 hasConceptScore W2784689838C37914503 @default.
- W2784689838 hasConceptScore W2784689838C40220748 @default.
- W2784689838 hasConceptScore W2784689838C54355233 @default.
- W2784689838 hasConceptScore W2784689838C64543145 @default.
- W2784689838 hasConceptScore W2784689838C86803240 @default.
- W2784689838 hasLocation W27846898381 @default.
- W2784689838 hasOpenAccess W2784689838 @default.
- W2784689838 hasPrimaryLocation W27846898381 @default.
- W2784689838 hasRelatedWork W123381892 @default.
- W2784689838 hasRelatedWork W1569275717 @default.
- W2784689838 hasRelatedWork W1576245638 @default.
- W2784689838 hasRelatedWork W1591819736 @default.
- W2784689838 hasRelatedWork W1988548256 @default.
- W2784689838 hasRelatedWork W1997927804 @default.
- W2784689838 hasRelatedWork W2003587861 @default.
- W2784689838 hasRelatedWork W2026957673 @default.
- W2784689838 hasRelatedWork W2054867250 @default.
- W2784689838 hasRelatedWork W2079179697 @default.
- W2784689838 hasRelatedWork W2158412932 @default.
- W2784689838 hasRelatedWork W2169092431 @default.
- W2784689838 hasRelatedWork W2264932920 @default.
- W2784689838 hasRelatedWork W2302148645 @default.
- W2784689838 hasRelatedWork W2575155648 @default.
- W2784689838 hasRelatedWork W2979904875 @default.
- W2784689838 hasRelatedWork W3138594230 @default.
- W2784689838 hasRelatedWork W3140591929 @default.
- W2784689838 hasRelatedWork W55323366 @default.
- W2784689838 hasRelatedWork W635472793 @default.
- W2784689838 isParatext "false" @default.
- W2784689838 isRetracted "false" @default.
- W2784689838 magId "2784689838" @default.
- W2784689838 workType "article" @default.