Matches in SemOpenAlex for { <https://semopenalex.org/work/W2523365968> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2523365968 abstract "We present a type assignment system for the call-by-value (lambda )-calculus, such that typable terms reduce to normal form in a number of steps which is elementary in the size of the term itself and in the rank of the type derivation. Types are built through non-idempotent and non-associative intersection, and the system is loosely inspired by elementary affine logic. The result is due to the fact that the lack of associativity in intersection supplies a notion of stratification of the reduction, which recalls the similar notion of stratification in light logics." @default.
- W2523365968 created "2016-09-30" @default.
- W2523365968 creator A5008380216 @default.
- W2523365968 creator A5040330265 @default.
- W2523365968 date "2016-01-01" @default.
- W2523365968 modified "2023-09-27" @default.
- W2523365968 title "Call-by-Value, Elementary Time and Intersection Types" @default.
- W2523365968 cites W1881110075 @default.
- W2523365968 cites W1904606068 @default.
- W2523365968 cites W1969548989 @default.
- W2523365968 cites W197485084 @default.
- W2523365968 cites W2001822718 @default.
- W2523365968 cites W2037831204 @default.
- W2523365968 cites W2057183321 @default.
- W2523365968 cites W2085670481 @default.
- W2523365968 cites W2088735483 @default.
- W2523365968 cites W2106173595 @default.
- W2523365968 cites W2133538984 @default.
- W2523365968 cites W2483114314 @default.
- W2523365968 cites W2951036860 @default.
- W2523365968 cites W3104763574 @default.
- W2523365968 cites W1995956074 @default.
- W2523365968 doi "https://doi.org/10.1007/978-3-319-46559-3_3" @default.
- W2523365968 hasPublicationYear "2016" @default.
- W2523365968 type Work @default.
- W2523365968 sameAs 2523365968 @default.
- W2523365968 citedByCount "0" @default.
- W2523365968 crossrefType "book-chapter" @default.
- W2523365968 hasAuthorship W2523365968A5008380216 @default.
- W2523365968 hasAuthorship W2523365968A5040330265 @default.
- W2523365968 hasConcept C100701293 @default.
- W2523365968 hasConcept C118615104 @default.
- W2523365968 hasConcept C127413603 @default.
- W2523365968 hasConcept C135790938 @default.
- W2523365968 hasConcept C136119220 @default.
- W2523365968 hasConcept C146978453 @default.
- W2523365968 hasConcept C159423971 @default.
- W2523365968 hasConcept C172252984 @default.
- W2523365968 hasConcept C192943249 @default.
- W2523365968 hasConcept C199360897 @default.
- W2523365968 hasConcept C202444582 @default.
- W2523365968 hasConcept C33923547 @default.
- W2523365968 hasConcept C3527866 @default.
- W2523365968 hasConcept C41008148 @default.
- W2523365968 hasConcept C59822182 @default.
- W2523365968 hasConcept C64543145 @default.
- W2523365968 hasConcept C80444323 @default.
- W2523365968 hasConcept C86803240 @default.
- W2523365968 hasConcept C88548481 @default.
- W2523365968 hasConcept C92757383 @default.
- W2523365968 hasConceptScore W2523365968C100701293 @default.
- W2523365968 hasConceptScore W2523365968C118615104 @default.
- W2523365968 hasConceptScore W2523365968C127413603 @default.
- W2523365968 hasConceptScore W2523365968C135790938 @default.
- W2523365968 hasConceptScore W2523365968C136119220 @default.
- W2523365968 hasConceptScore W2523365968C146978453 @default.
- W2523365968 hasConceptScore W2523365968C159423971 @default.
- W2523365968 hasConceptScore W2523365968C172252984 @default.
- W2523365968 hasConceptScore W2523365968C192943249 @default.
- W2523365968 hasConceptScore W2523365968C199360897 @default.
- W2523365968 hasConceptScore W2523365968C202444582 @default.
- W2523365968 hasConceptScore W2523365968C33923547 @default.
- W2523365968 hasConceptScore W2523365968C3527866 @default.
- W2523365968 hasConceptScore W2523365968C41008148 @default.
- W2523365968 hasConceptScore W2523365968C59822182 @default.
- W2523365968 hasConceptScore W2523365968C64543145 @default.
- W2523365968 hasConceptScore W2523365968C80444323 @default.
- W2523365968 hasConceptScore W2523365968C86803240 @default.
- W2523365968 hasConceptScore W2523365968C88548481 @default.
- W2523365968 hasConceptScore W2523365968C92757383 @default.
- W2523365968 hasLocation W25233659681 @default.
- W2523365968 hasOpenAccess W2523365968 @default.
- W2523365968 hasPrimaryLocation W25233659681 @default.
- W2523365968 hasRelatedWork W1549937211 @default.
- W2523365968 hasRelatedWork W1552951486 @default.
- W2523365968 hasRelatedWork W196330226 @default.
- W2523365968 hasRelatedWork W2010274553 @default.
- W2523365968 hasRelatedWork W2067923908 @default.
- W2523365968 hasRelatedWork W2068280300 @default.
- W2523365968 hasRelatedWork W2148757596 @default.
- W2523365968 hasRelatedWork W2205798497 @default.
- W2523365968 hasRelatedWork W2463458990 @default.
- W2523365968 hasRelatedWork W2736955251 @default.
- W2523365968 hasRelatedWork W2744716545 @default.
- W2523365968 hasRelatedWork W2798480443 @default.
- W2523365968 hasRelatedWork W2886737850 @default.
- W2523365968 hasRelatedWork W2962833857 @default.
- W2523365968 hasRelatedWork W2963404536 @default.
- W2523365968 hasRelatedWork W3022089194 @default.
- W2523365968 hasRelatedWork W3086477246 @default.
- W2523365968 hasRelatedWork W3100233597 @default.
- W2523365968 hasRelatedWork W3110898182 @default.
- W2523365968 hasRelatedWork W2183545083 @default.
- W2523365968 isParatext "false" @default.
- W2523365968 isRetracted "false" @default.
- W2523365968 magId "2523365968" @default.
- W2523365968 workType "book-chapter" @default.