Matches in SemOpenAlex for { <https://semopenalex.org/work/W4200635861> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W4200635861 abstract "We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of equality has to be interpreted in the Boolean algebra and when we say that an equation is valid in the model we mean that its interpretation is the top element of the Boolean algebra." @default.
- W4200635861 created "2021-12-31" @default.
- W4200635861 creator A5059068538 @default.
- W4200635861 creator A5060646027 @default.
- W4200635861 creator A5068822568 @default.
- W4200635861 creator A5085159760 @default.
- W4200635861 date "2021-12-12" @default.
- W4200635861 modified "2023-09-29" @default.
- W4200635861 title "Interpreting Lambda Calculus in Domain-Valued Random Variables" @default.
- W4200635861 doi "https://doi.org/10.48550/arxiv.2112.06339" @default.
- W4200635861 hasPublicationYear "2021" @default.
- W4200635861 type Work @default.
- W4200635861 citedByCount "0" @default.
- W4200635861 crossrefType "posted-content" @default.
- W4200635861 hasAuthorship W4200635861A5059068538 @default.
- W4200635861 hasAuthorship W4200635861A5060646027 @default.
- W4200635861 hasAuthorship W4200635861A5068822568 @default.
- W4200635861 hasAuthorship W4200635861A5085159760 @default.
- W4200635861 hasBestOaLocation W42006358611 @default.
- W4200635861 hasConcept C10021369 @default.
- W4200635861 hasConcept C118615104 @default.
- W4200635861 hasConcept C120665830 @default.
- W4200635861 hasConcept C121332964 @default.
- W4200635861 hasConcept C134306372 @default.
- W4200635861 hasConcept C135790938 @default.
- W4200635861 hasConcept C136119220 @default.
- W4200635861 hasConcept C142156749 @default.
- W4200635861 hasConcept C169171071 @default.
- W4200635861 hasConcept C184337299 @default.
- W4200635861 hasConcept C192209626 @default.
- W4200635861 hasConcept C199343813 @default.
- W4200635861 hasConcept C199360897 @default.
- W4200635861 hasConcept C202444582 @default.
- W4200635861 hasConcept C207764348 @default.
- W4200635861 hasConcept C2777686260 @default.
- W4200635861 hasConcept C33923547 @default.
- W4200635861 hasConcept C36503486 @default.
- W4200635861 hasConcept C39685927 @default.
- W4200635861 hasConcept C41008148 @default.
- W4200635861 hasConcept C527412718 @default.
- W4200635861 hasConcept C61237538 @default.
- W4200635861 hasConcept C71924100 @default.
- W4200635861 hasConcept C81518389 @default.
- W4200635861 hasConceptScore W4200635861C10021369 @default.
- W4200635861 hasConceptScore W4200635861C118615104 @default.
- W4200635861 hasConceptScore W4200635861C120665830 @default.
- W4200635861 hasConceptScore W4200635861C121332964 @default.
- W4200635861 hasConceptScore W4200635861C134306372 @default.
- W4200635861 hasConceptScore W4200635861C135790938 @default.
- W4200635861 hasConceptScore W4200635861C136119220 @default.
- W4200635861 hasConceptScore W4200635861C142156749 @default.
- W4200635861 hasConceptScore W4200635861C169171071 @default.
- W4200635861 hasConceptScore W4200635861C184337299 @default.
- W4200635861 hasConceptScore W4200635861C192209626 @default.
- W4200635861 hasConceptScore W4200635861C199343813 @default.
- W4200635861 hasConceptScore W4200635861C199360897 @default.
- W4200635861 hasConceptScore W4200635861C202444582 @default.
- W4200635861 hasConceptScore W4200635861C207764348 @default.
- W4200635861 hasConceptScore W4200635861C2777686260 @default.
- W4200635861 hasConceptScore W4200635861C33923547 @default.
- W4200635861 hasConceptScore W4200635861C36503486 @default.
- W4200635861 hasConceptScore W4200635861C39685927 @default.
- W4200635861 hasConceptScore W4200635861C41008148 @default.
- W4200635861 hasConceptScore W4200635861C527412718 @default.
- W4200635861 hasConceptScore W4200635861C61237538 @default.
- W4200635861 hasConceptScore W4200635861C71924100 @default.
- W4200635861 hasConceptScore W4200635861C81518389 @default.
- W4200635861 hasLocation W42006358611 @default.
- W4200635861 hasLocation W42006358612 @default.
- W4200635861 hasOpenAccess W4200635861 @default.
- W4200635861 hasPrimaryLocation W42006358611 @default.
- W4200635861 hasRelatedWork W1496446432 @default.
- W4200635861 hasRelatedWork W1979302541 @default.
- W4200635861 hasRelatedWork W2037090414 @default.
- W4200635861 hasRelatedWork W2043703128 @default.
- W4200635861 hasRelatedWork W2051531869 @default.
- W4200635861 hasRelatedWork W2094060015 @default.
- W4200635861 hasRelatedWork W2293292003 @default.
- W4200635861 hasRelatedWork W254959529 @default.
- W4200635861 hasRelatedWork W2940617399 @default.
- W4200635861 hasRelatedWork W3033911292 @default.
- W4200635861 isParatext "false" @default.
- W4200635861 isRetracted "false" @default.
- W4200635861 workType "article" @default.