Matches in SemOpenAlex for { <https://semopenalex.org/work/W2800964650> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2800964650 abstract "In this work we study randomised reduction strategies,a notion already known in the context of abstract reduction systems, for the $lambda$-calculus. We develop a simple framework that allows us to prove a randomised strategy to be positive almost-surely normalising. Then we propose a simple example of randomised strategy for the $lambda$-calculus that has such a property and we show why it is non-trivial with respect to classical deterministic strategies such as leftmost-outermost or rightmost-innermost. We conclude studying this strategy for two sub-$lambda$-calculi, namely those where duplication and erasure are syntactically forbidden, showing some non-trivial properties." @default.
- W2800964650 created "2018-05-17" @default.
- W2800964650 creator A5041239393 @default.
- W2800964650 creator A5084450516 @default.
- W2800964650 date "2018-05-10" @default.
- W2800964650 modified "2023-09-23" @default.
- W2800964650 title "On randomised strategies in the $lambda$-calculus (long version)" @default.
- W2800964650 cites W1553954213 @default.
- W2800964650 cites W1605543919 @default.
- W2800964650 cites W2081320273 @default.
- W2800964650 cites W2154273644 @default.
- W2800964650 cites W2295428206 @default.
- W2800964650 cites W2323777246 @default.
- W2800964650 cites W2788405769 @default.
- W2800964650 cites W2902713727 @default.
- W2800964650 cites W601863383 @default.
- W2800964650 hasPublicationYear "2018" @default.
- W2800964650 type Work @default.
- W2800964650 sameAs 2800964650 @default.
- W2800964650 citedByCount "0" @default.
- W2800964650 crossrefType "posted-content" @default.
- W2800964650 hasAuthorship W2800964650A5041239393 @default.
- W2800964650 hasAuthorship W2800964650A5084450516 @default.
- W2800964650 hasConcept C111335779 @default.
- W2800964650 hasConcept C111472728 @default.
- W2800964650 hasConcept C118615104 @default.
- W2800964650 hasConcept C120665830 @default.
- W2800964650 hasConcept C121332964 @default.
- W2800964650 hasConcept C135790938 @default.
- W2800964650 hasConcept C136119220 @default.
- W2800964650 hasConcept C138885662 @default.
- W2800964650 hasConcept C142156749 @default.
- W2800964650 hasConcept C166957645 @default.
- W2800964650 hasConcept C189950617 @default.
- W2800964650 hasConcept C199343813 @default.
- W2800964650 hasConcept C202444582 @default.
- W2800964650 hasConcept C205649164 @default.
- W2800964650 hasConcept C2524010 @default.
- W2800964650 hasConcept C2777686260 @default.
- W2800964650 hasConcept C2778113609 @default.
- W2800964650 hasConcept C2779343474 @default.
- W2800964650 hasConcept C2780586882 @default.
- W2800964650 hasConcept C33923547 @default.
- W2800964650 hasConcept C41008148 @default.
- W2800964650 hasConcept C61237538 @default.
- W2800964650 hasConcept C71924100 @default.
- W2800964650 hasConcept C77736955 @default.
- W2800964650 hasConceptScore W2800964650C111335779 @default.
- W2800964650 hasConceptScore W2800964650C111472728 @default.
- W2800964650 hasConceptScore W2800964650C118615104 @default.
- W2800964650 hasConceptScore W2800964650C120665830 @default.
- W2800964650 hasConceptScore W2800964650C121332964 @default.
- W2800964650 hasConceptScore W2800964650C135790938 @default.
- W2800964650 hasConceptScore W2800964650C136119220 @default.
- W2800964650 hasConceptScore W2800964650C138885662 @default.
- W2800964650 hasConceptScore W2800964650C142156749 @default.
- W2800964650 hasConceptScore W2800964650C166957645 @default.
- W2800964650 hasConceptScore W2800964650C189950617 @default.
- W2800964650 hasConceptScore W2800964650C199343813 @default.
- W2800964650 hasConceptScore W2800964650C202444582 @default.
- W2800964650 hasConceptScore W2800964650C205649164 @default.
- W2800964650 hasConceptScore W2800964650C2524010 @default.
- W2800964650 hasConceptScore W2800964650C2777686260 @default.
- W2800964650 hasConceptScore W2800964650C2778113609 @default.
- W2800964650 hasConceptScore W2800964650C2779343474 @default.
- W2800964650 hasConceptScore W2800964650C2780586882 @default.
- W2800964650 hasConceptScore W2800964650C33923547 @default.
- W2800964650 hasConceptScore W2800964650C41008148 @default.
- W2800964650 hasConceptScore W2800964650C61237538 @default.
- W2800964650 hasConceptScore W2800964650C71924100 @default.
- W2800964650 hasConceptScore W2800964650C77736955 @default.
- W2800964650 hasLocation W28009646501 @default.
- W2800964650 hasOpenAccess W2800964650 @default.
- W2800964650 hasPrimaryLocation W28009646501 @default.
- W2800964650 hasRelatedWork W1581936953 @default.
- W2800964650 hasRelatedWork W1585954935 @default.
- W2800964650 hasRelatedWork W1681537456 @default.
- W2800964650 hasRelatedWork W2077870744 @default.
- W2800964650 hasRelatedWork W2109585055 @default.
- W2800964650 hasRelatedWork W2119552959 @default.
- W2800964650 hasRelatedWork W2169655078 @default.
- W2800964650 hasRelatedWork W2201760732 @default.
- W2800964650 hasRelatedWork W2213473692 @default.
- W2800964650 hasRelatedWork W2255318965 @default.
- W2800964650 hasRelatedWork W2277220477 @default.
- W2800964650 hasRelatedWork W2277937096 @default.
- W2800964650 hasRelatedWork W2413857186 @default.
- W2800964650 hasRelatedWork W2825557463 @default.
- W2800964650 hasRelatedWork W2915506276 @default.
- W2800964650 hasRelatedWork W2985618755 @default.
- W2800964650 hasRelatedWork W3089232200 @default.
- W2800964650 hasRelatedWork W3089303239 @default.
- W2800964650 hasRelatedWork W3157764981 @default.
- W2800964650 hasRelatedWork W2184596522 @default.
- W2800964650 isParatext "false" @default.
- W2800964650 isRetracted "false" @default.
- W2800964650 magId "2800964650" @default.
- W2800964650 workType "article" @default.