Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288639903> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4288639903 abstract "We introduce two extensions of the $lambda$-calculus with a probabilistic choice operator, $Lambda_oplus^{cbv}$ and $Lambda_oplus^{cbn}$, modeling respectively call-by-value and call-by-name probabilistic computation. We prove that both enjoys confluence and standardization, in an extended way: we revisit these two fundamental notions to take into account the asymptotic behaviour of terms. The common root of the two calculi is a further calculus based on Linear Logic, $Lambda_oplus^!$, which allows for a fine control of the interaction between choice and copying, and which allows us to develop a unified, modular approach." @default.
- W4288639903 created "2022-07-30" @default.
- W4288639903 creator A5008380216 @default.
- W4288639903 creator A5028757410 @default.
- W4288639903 date "2019-01-09" @default.
- W4288639903 modified "2023-09-23" @default.
- W4288639903 title "Lambda Calculus and Probabilistic Computation" @default.
- W4288639903 doi "https://doi.org/10.48550/arxiv.1901.02853" @default.
- W4288639903 hasPublicationYear "2019" @default.
- W4288639903 type Work @default.
- W4288639903 citedByCount "0" @default.
- W4288639903 crossrefType "posted-content" @default.
- W4288639903 hasAuthorship W4288639903A5008380216 @default.
- W4288639903 hasAuthorship W4288639903A5028757410 @default.
- W4288639903 hasBestOaLocation W42886399031 @default.
- W4288639903 hasConcept C101468663 @default.
- W4288639903 hasConcept C105795698 @default.
- W4288639903 hasConcept C11413529 @default.
- W4288639903 hasConcept C118615104 @default.
- W4288639903 hasConcept C120665830 @default.
- W4288639903 hasConcept C121332964 @default.
- W4288639903 hasConcept C135790938 @default.
- W4288639903 hasConcept C136119220 @default.
- W4288639903 hasConcept C142156749 @default.
- W4288639903 hasConcept C199343813 @default.
- W4288639903 hasConcept C199360897 @default.
- W4288639903 hasConcept C202444582 @default.
- W4288639903 hasConcept C2777686260 @default.
- W4288639903 hasConcept C2778113609 @default.
- W4288639903 hasConcept C33923547 @default.
- W4288639903 hasConcept C41008148 @default.
- W4288639903 hasConcept C45374587 @default.
- W4288639903 hasConcept C49937458 @default.
- W4288639903 hasConcept C61237538 @default.
- W4288639903 hasConcept C71924100 @default.
- W4288639903 hasConcept C77736955 @default.
- W4288639903 hasConceptScore W4288639903C101468663 @default.
- W4288639903 hasConceptScore W4288639903C105795698 @default.
- W4288639903 hasConceptScore W4288639903C11413529 @default.
- W4288639903 hasConceptScore W4288639903C118615104 @default.
- W4288639903 hasConceptScore W4288639903C120665830 @default.
- W4288639903 hasConceptScore W4288639903C121332964 @default.
- W4288639903 hasConceptScore W4288639903C135790938 @default.
- W4288639903 hasConceptScore W4288639903C136119220 @default.
- W4288639903 hasConceptScore W4288639903C142156749 @default.
- W4288639903 hasConceptScore W4288639903C199343813 @default.
- W4288639903 hasConceptScore W4288639903C199360897 @default.
- W4288639903 hasConceptScore W4288639903C202444582 @default.
- W4288639903 hasConceptScore W4288639903C2777686260 @default.
- W4288639903 hasConceptScore W4288639903C2778113609 @default.
- W4288639903 hasConceptScore W4288639903C33923547 @default.
- W4288639903 hasConceptScore W4288639903C41008148 @default.
- W4288639903 hasConceptScore W4288639903C45374587 @default.
- W4288639903 hasConceptScore W4288639903C49937458 @default.
- W4288639903 hasConceptScore W4288639903C61237538 @default.
- W4288639903 hasConceptScore W4288639903C71924100 @default.
- W4288639903 hasConceptScore W4288639903C77736955 @default.
- W4288639903 hasLocation W42886399031 @default.
- W4288639903 hasOpenAccess W4288639903 @default.
- W4288639903 hasPrimaryLocation W42886399031 @default.
- W4288639903 hasRelatedWork W1572500425 @default.
- W4288639903 hasRelatedWork W1633106243 @default.
- W4288639903 hasRelatedWork W2140892577 @default.
- W4288639903 hasRelatedWork W2373977992 @default.
- W4288639903 hasRelatedWork W2615070270 @default.
- W4288639903 hasRelatedWork W2950168006 @default.
- W4288639903 hasRelatedWork W3025076051 @default.
- W4288639903 hasRelatedWork W4230977852 @default.
- W4288639903 hasRelatedWork W811489916 @default.
- W4288639903 hasRelatedWork W2785405191 @default.
- W4288639903 isParatext "false" @default.
- W4288639903 isRetracted "false" @default.
- W4288639903 workType "article" @default.